1982 search results - page 25 / 397 » Parametricity and dependent types |
LFP
1990
14 years 11 months ago
1990
FOIS
2010
14 years 11 months ago
2010
JFP
2000
14 years 9 months ago
2000
TLDI
2010
ACM
15 years 6 months ago
2010
ACM
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...
134
click to vote
OOPSLA
1995
Springer
15 years 1 months ago
1995
Springer
All object-oriented languages provide support for subtype polymorphism, which allows the writing of generic code that works for families of related types. There is also a need, ho...