599 search results - page 12 / 120 » Type System for Specializing Polymorphism |
111
click to vote
JFP
2006
15 years 2 months ago
2006
We investigate a technique from the literature, called the phantom-types technique, that uses parametric polymorphism, type constraints, and unification of polymorphic types to mo...
126
click to vote
LICS
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper presents a new bisimulation theory for parametric polymorphism which enables straightforward coinductive proofs of program equivalences involving existential types. The...
109
click to vote
TIC
1998
Springer
15 years 7 months ago
1998
Springer
Suppose we translate two different source languages,
128
click to vote
APLAS
2000
ACM
15 years 7 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...
222
click to vote
POPL
2006
ACM
16 years 3 months ago
2006
ACM
We propose a type system based on regular tree grammars, where algebraic datatypes are interpreted in a structural way. Thus, the same constructors can be reused for different typ...