267 search results - page 7 / 54 » Formal Parametric Polymorphism |
JFP
2010
14 years 10 months ago
2010
MSCS
2010
14 years 10 months ago
2010
tations of imperative abstract data types.
ESOP
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. This paper studies continuations by means of a polymorphic type system. The traditional call-by-name continuation passing style transform admits a typing in which some an...
DLS
2007
15 years 3 months ago
2007
The analogy between types and contracts raises the question of how many features of static type systems can be expressed as dynamic contracts. An important feature missing in prio...
IFL
2000
Springer
15 years 3 months ago
2000
Springer
