Partial Evaluation for Dictionary-free Overloading (1993)

View PDF

Download Links

by Mark P. Jones
Citations:17 - 2 self

Active Bibliography

Abstract Partial Evaluation for Dictionary-free Overloading – Mark P. Jones
37 Dictionary-free Overloading by Partial Evaluation – Mark P. Jones
Abstract Dictionary-free Overloading by Partial Evaluation – unknown authors
267 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
125 Implementing Type Classes – John Peterson, Mark Jones
183 A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism – Mark P. Jones - 1995
618 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
564 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
619 Language-Based Information-Flow Security – Andrei Sabelfeld , Andrew C. Myers - 2003