115 search results - page 5 / 23 » First-class Polymorphism with Type Inference |
APLAS
2000
ACM
13 years 12 months ago
2000
ACM
We present a generalized let-polymorphic type inference algorithm, prove that any of its instances is sound and complete with respect to the Hindley/Milner let-polymorphic type sy...
APLAS
2001
ACM
13 years 11 months ago
2001
ACM
OOPSLA
1995
Springer
13 years 11 months ago
1995
Springer
TOPLAS
1998
13 years 7 months ago
1998
APLAS
2007
ACM
13 years 11 months ago
2007
ACM
Abstract. This paper presents a polymorphic type system for a language with delimited control operators, shift and reset. Based on the monomorphic type system by Danvy and Filinski...