111 search results - page 12 / 23 » Constructing Polymorphic Programs with Quotient Types |
135
click to vote
OOPSLA
2010
Springer
15 years 26 days ago
2010
Springer
Atomic regions are an important concept in correct concurrent programming: since atomic regions can be viewed as having executed in a single step, atomicity greatly reduces the nu...
127
click to vote
OOPSLA
2004
Springer
15 years 7 months ago
2004
Springer
This paper presents the design of G, a new language specifically created for generic programming. We review and identify important language features of C++ and Haskell in light o...
110
click to vote
PLPV
2010
ACM
15 years 11 months ago
2010
ACM
Type-based reasoning is popular in functional programming. In particular, parametric polymorphism constrains functions in such a way that statements about their behavior can be de...
109
click to vote
AOSD
2007
ACM
15 years 6 months ago
2007
ACM
Beginning with BETA, a range of programming language mechanisms such as virtual classes (class-valued attributes of objects) have been developed to allow inheritance in the presen...
216
click to vote
ICFP
2009
ACM
16 years 3 months ago
2009
ACM
Type abstraction and intensional type analysis are features seemingly at odds--type abstraction is intended to guarantee parametricity and representation independence, while type ...