12 search results - page 3 / 3 » icfp 1998 |
ICFP
1998
ACM
15 years 2 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...
113
Voted
ICFP
2012
ACM
13 years 20 days ago
2012
ACM
Continuing a line of work by Abramsky (1994), by Bellin and Scott (1994), and by Caires and Pfenning (2010), among others, this paper presents CP, a calculus in which propositions...