2 search results - page 1 / 1 » Intensional Polymorphism in Type-Erasure Semantics |
87
Voted
ICFP
1998
ACM
15 years 3 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...
FOSSACS
2008
Springer
15 years 9 days ago
2008
Springer
We introduce Erasure Pure Type Systems, an extension to Pure Type Systems with an erasure semantics centered around a type constructor indicating parametric polymorphism. The eras...