An optimizing ML to C compiler (1992)

View PDF

Download Links

by Régis Cridlig
Citations:7 - 0 self

Active Bibliography

618 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
576 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
449 Uniprocessor Garbage Collection Techniques – Paul R. Wilson
467 Comprehending Monads – Philip Wadler - 1992
424 Deforestation: Transforming programs to eliminate trees – P Wadler - 1990
384 Flow-Sensitive Type Qualifiers – Jeffrey S. Foster, Tachio Terauchi, Alex Aiken - 2002
360 Making the future safe for the past: Adding Genericity to the Java Programming Language – Gilad Bracha , Martin Odersky, David Stoutamire, Philip Wadler - 1998
358 How to make ad-hoc polymorphism less ad hoc – P Wadler, S Blott - 1989
348 The X Window System – James Gettys, Keith Packard - 1986