291 search results - page 8 / 59 » A Logic for Parametric Polymorphism |
APLAS
2010
ACM
14 years 12 months ago
2010
ACM
MSCS
2000
14 years 11 months ago
2000
JFP
2010
14 years 10 months ago
2010
66
Voted
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...