Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine - Version 2.5 (1992)

Cached

Download Links

by Simon L. Peyton Jones
Venue:Journal of Functional Programming
Citations:185 - 21 self

Documents Related by Co-Citation

625 Compiling With Continuations – A W Appel - 1992
540 The Implementation of Functional Programming Languages – Peyton Jones, S L - 1987
180 A Natural Semantics for Lazy Evaluation – John Launchbury - 1993
120 The Glasgow Haskell compiler: a technical overview – Simon L. Peyton Jones, Cordy Hall, Kevin Hammond, Jones Cordy, Hall Kevin, Will Partain, Phil Wadler - 1992
64 Cheap Deforestation for Non-strict Functional Languages – Andrew John Gill, Andrew John Gill - 1996
227 TIL: A Type-Directed Optimizing Compiler for ML – David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee - 1995
117 Report on the functional programming language Haskell: A non-strict, purely functional language: Version 1.2 – Peyton Jones P, S L, P Wadler - 1992
40 Time and Space Profiling for Non-Strict, Higher-Order Functional Languages – Patrick M. Sansom, Simon L. Peyton Jones - 1995
93 The ZINC experiment, an economical implementation of the ML language – Xavier Leroy - 1990
12 ORBIT - an optimising compiler for Scheme – DA Kranz - 1988
36 Compilation of functional languages by program transformation – P Fradet, D Le M├ętayer - 1991
72 Realistic Compilation by Program Transformation – Richard Kelsey, Paul Hudak - 1989
59 The Design and Implementation of Programming Languages – R J M Hughes - 1984
260 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
44 TIM: a simple, lazy abstract machine to execute supercombinators – J Fairbairn, S Wray - 1987
3 M Odersky & P Wadler [Jan 1995], "A call by need lambda calculus – Z Ariola, M Felleisen, J Maraist
3 SL Graham & OJ Sharp [Dec 1994], "Compiler transformations for high-performance computing – DF Bacon
4 1971], "Une extension de l'interpretation de Godel a l'analyse, et son application a l'elimination de coupures dans l'analyse et la theorie des types – J Girard