267 search results - page 8 / 54 » Formal Parametric Polymorphism |
116
click to vote
HASKELL
2006
ACM
15 years 7 months ago
2006
ACM
In languages that support polymorphic variants, a single variant value can be passed to many contexts that accept different sets of constructors. Polymorphic variants are potenti...
115
click to vote
OOPSLA
1989
Springer
15 years 5 months ago
1989
Springer
Method inheritance and data abstraction are central features of objectoriented programming that are attained through a hierarchical organization of classes. Recent studies have sh...
119
click to vote
GPCE
2003
Springer
15 years 7 months ago
2003
Springer
Concepts—sets of abstractions related by common requirements— have a central role in generic programming. This paper proposes a general framework for using concepts to control ...
111
click to vote
ECOOP
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. Precise type information is invaluable for analysis and optimization of object-oriented programs. Some forms of polymorphism found in object-oriented languages pose signi...
143
click to vote
DLS
2005
15 years 3 months ago
2005
The DDP (Demand-driven/Pruning) analysis algorithm allows us to perform data-flow analyses of programming languages that are dynamically typed and have higher-order control flow...