237 search results - page 2 / 48 » Coercions in a polymorphic type system |
LICS
1994
IEEE
13 years 9 months ago
1994
IEEE
In this paper we study the interaction of subtyping and parametricity. We describe a logic for a programming language with parametric polymorphism and subtyping. The logic support...
ENTCS
2008
13 years 5 months ago
2008
traction Kinds and Higher-Order Coercions Andreas Rossberg1 Max Planck Institute for Software Systems Saarbr
ICFP
1999
ACM
13 years 9 months ago
1999
ACM
This paper defines an extended polymorphic type system for an ML-style programming language, and develops a sound and complete type inference algorithm. Different from the conve...
POPL
1997
ACM
13 years 9 months ago
1997
ACM
Languages like ML and Haskell encourage the view of values as first-class entities that can be passed as arguments or results of functions, or stored as components of data struct...
APLAS
2010
ACM
13 years 5 months ago
2010
ACM
Abstract. The type system of Objective Caml has many unique features, which make ensuring the correctness of its implementation difficult. One of these features is structurally pol...