A Modular Fully-lazy Lambda Lifter in HASKELL (1991)

Cached

Download Links

by Simon L. Peyton Jones , David Lester
Citations:10 - 6 self

Documents Related by Co-Citation

625 Compiling With Continuations – A W Appel - 1992
59 The Design and Implementation of Programming Languages – R J M Hughes - 1984
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
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
540 The Implementation of Functional Programming Languages – Peyton Jones, S L - 1987
64 Cheap Deforestation for Non-strict Functional Languages – Andrew John Gill, Andrew John Gill - 1996
180 A Natural Semantics for Lazy Evaluation – John Launchbury - 1993
187 Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine - Version 2.5 – Simon L Peyton Jones - 1992
12 ORBIT - an optimising compiler for Scheme – DA Kranz - 1988
1312 Monads for functional programming – Philip Wadler - 1995
3 M Odersky & P Wadler [Jan 1995], "A call by need lambda calculus – Z Ariola, M Felleisen, J Maraist
3 A Sabry, B Duba & M Felleisen [June 1993], "The essence of compiling with continuations – C Flanagan
3 N Adams [1986], "ORBIT - an optimising compiler for Scheme – DA Kranz, R Kelsey, J Rees, P Hudak, J Philbin
3 Sept 1995], "Compilation by transformation in non-strict functional languages – A Santos
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
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
3 1974], "Towards a theory of type structure – JC Reynolds