1982 search results - page 25 / 397 » Parametricity and dependent types |
146
click to vote
TLDI
2010
ACM
16 years 1 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...
194
click to vote
OOPSLA
1995
Springer
15 years 7 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...