237 search results - page 4 / 48 » Coercions in a polymorphic type system |
153
click to vote
ICFP
1998
ACM
15 years 10 months ago
1998
ACM
Intensional polymorphism, the ability to dispatch to different routines based on types at run time, enables a variety of advanced implementation techniques for polymorphic languag...
281
click to vote
POPL
2009
ACM
16 years 6 months ago
2009
ACM
We present HML, a type inference system that supports full firstclass polymorphism where few annotations are needed: only function parameters with a polymorphic type need to be an...
161
click to vote
HASKELL
2006
ACM
15 years 11 months ago
2006
ACM
In languages that support polymorphic variants, a single variant value can be passed to many contexts that accept different sets of constructors. Polymorphic variants are potenti...
149
click to vote
POPL
1991
ACM
15 years 9 months ago
1991
ACM
We present a new approach to the polymorphic typing of data accepting in-place modification in ML-like languages. This approach is based on restrictions over type generalization,...
165
click to vote
PLDI
1989
ACM
15 years 9 months ago
1989
ACM
We present the rst type reconstruction system which combines the implicit typing of ML with the full power of the explicitly typed second-order polymorphic lambda calculus. The sy...