979 search results - page 134 / 196 » Presentations for Abstract Context Institutions |
ICFP
2006
ACM
14 years 8 months ago
2006
ACM
Datatype-generic programming (DGP) is the next step beyond abstracting over types using parametric polymorphism, which is often called "genericity" in object-oriented la...
PERCOM
2003
ACM
14 years 7 months ago
2003
ACM
The proliferation of wireless networks, hand-held PCs, touch panels, large flat displays, sensors, and embedded devices is transforming traditional habitats and living spaces into...
ICCAD
2008
IEEE
14 years 5 months ago
2008
IEEE
—SystemC is a system-level modeling language that offers a wide range of features to describe concurrent systems rent levels of abstraction. The SystemC standard permits simulato...
FLOPS
2010
Springer
14 years 2 months ago
2010
Springer
MLF is a type system that seamlessly merges ML-style implicit but second-class polymorphism with System F explicit first-class polymorphism. We present xMLF, a Church-style versi...
BIRTHDAY
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. The Clio project provides tools that vastly simplify information integration. Information integration requires data conversions to bring data in different representation...