Partial Evaluation for Dictionary-free Overloading (1993)

Cached

Download Links

by Mark P. Jones
Citations:17 - 2 self

Active Bibliography

35 Dictionary-free Overloading by Partial Evaluation – Mark P. Jones
121 Implementing Type Classes – John Peterson, Mark Jones
260 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
11 Programming With Types – Stephanie Claudene Weirich - 2002
178 A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism – Mark P. Jones - 1995
10 ML typing, explicit polymorphism and qualified types – Mark P. Jones - 1994
6 Type-directed specialization of polymorphism – Atsushi Ohori - 1999
18 Compiling Standard ML For Efficient Execution On Modern Machines – Zhong Shao - 1994
Signature: A Type-Passing Implementation of Value Types and Genericity – Tim Owen, Tim Owen
2 An Unboxed Operational Semantics for ML Polymorphism – Atsushi Ohori, Tomonobu Takamizawa - 1997
1 Type system for specializing polymorphism – Atsushi Ohori - 1997
102 Compiling with Types – Greg Morrisett - 1995
8 Compilation based on a calculus for explicit type passing – Yasuhiko Minamide - 1996
67 Tag-free Garbage Collection Using Explicit Type Parameters – Andrew Tolmach
12 Full Lifting of Type Parameters – Yasuhiko Minamide - 1997
55 The implementation of the Gofer functional programming system – Mark P. Jones - 1994
Abstract Coherence – Mark P. Jones
3 Type-Checked Message-Passing Between Functional Processes – Malcolm Wallace, Colin Runciman - 1994
27 Storage Use Analysis and its Applications – Manuel Serrano, Marc Feeley - 1996