The Glasgow Haskell compiler: a technical overview (1992)

Cached

Download Links

by Simon L. Peyton Jones , Cordy Hall , Kevin Hammond , Jones Cordy , Hall Kevin , Will Partain , Phil Wadler
Citations:120 - 19 self

Documents Related by Co-Citation

625 Compiling With Continuations – A W Appel - 1992
187 Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine - Version 2.5 – Simon L Peyton Jones - 1992
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
154 Typed closure conversion – Yasuhiko Minamide, Greg Morrisett, Robert Harper - 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
180 A Natural Semantics for Lazy Evaluation – John Launchbury - 1993
171 Unboxed Objects and Polymorphic Typing – Xavier Leroy - 1992
195 Standard ML of New Jersey – Andrew W. Appel, David B. Macqueen - 1991
195 ORBIT: An optimizing compiler for Scheme – David Kranz, Richard Kelsey, Jonathan Rees, Paul Hudak, James Philbin, Norman Adams - 1987
260 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
292 Abstract types have existential types – J C Mitchell, G D Plotkin - 1988
193 A Short Cut to Deforestation – Andrew Gill, John Launchbury, Simon L Peyton Jones - 1993
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
3 A Sabry, B Duba & M Felleisen [June 1993], "The essence of compiling with continuations – C Flanagan
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
12 ORBIT - an optimising compiler for Scheme – DA Kranz - 1988
3 N Adams [1986], "ORBIT - an optimising compiler for Scheme – DA Kranz, R Kelsey, J Rees, P Hudak, J Philbin