FP - Implementation

[-]Standard ML of New Jersey
Andrew W. Appel and David B. MacQueen (inproceedings, 1991)

[-]The HBC compiler
Lennart Augustsson (misc, 1999)

[-]Compiling Pattern Matching
Lennart Augustsson[Jean-Pierre Jouannaud (ed)] (inproceedings, 1985)

[-]Parallel Graph Reduction with the $<$$\nu$, G$>$-Machine
L. Augustsson and T. Johnsson (inproceedings, 1989)

[-]Implementing Haskell overloading
Augustsson, Lennart (inproceedings, 1993)

[-]The interactive Lazy ML system
Lennart Augustsson (Article, 1993)

[-]Compiling Standard ML to Java Bytecodes
Nick Benton and Andrew Kennedy and George Russell (inproceedings, 1998)

[-]Kawa -- Compiling Dynamic Languages to the Java VM
Per Bothner (inproceedings, 1998)

[-]Disposable Memo Functions
Byron Cook and John Launchbury (inproceedings, 1997)

[-]H/Direct: A Binary Foreign Language Interface for Haskell
Sigbjorn Finne and Daan Leijen and Erik Meijer and Simon Peyton Jones (inproceedings, 1998)

[-]PI-Red+: ein interaktives codeausführendes Reduktionssystem zur vollständigen Realisierung eines angewandten lambda--Kalküls
Gärtner, D. (phdthesis, 1991)

[-]GHC -- The Glasgow Haskell Compiler
(misc, 1999)

[-]Functional Programming -- Application and Implementation
Peter Henderson (book, 1980)

[-]A Lazy Evaluator
Peter Henderson and James H. Morris, Jr. (inproceedings, 1976)

[-]Super combinators - a new implementation technique for applicative languages
R. J. M. Hughes (InProceedings, 1982)

[-]Hugs Home Page
(misc, 1999)

[-]Efficient Compilation of Lazy Evaluation
Thomas Johnsson (inproceedings, 1984)

[-]Compiling Lazy Functional Languages: An Introduction
Thomas Johnsson (phdthesis, 1987)

[-]Lambda Lifting: Transforming Programs to Recursive Equations
Thomas Johnsson (inproceedings, 1985)

[-]Target code Generation from G-machine code
Thomas Johnsson (inproceedings, 1986)

[-]A prototype implementation of extensible records for Hugs
Mark P. Jones (misc, 1997)

[-]A technical summary of the new features in Hugs 1.3c
Mark P. Jones (misc, 1997)

[-]An Algorithm for Optimal Lambda Calculus Reduction
John Lamping (inproceedings, 1990)

[-]The mechanical evaluation of expressions
P. J. Landin (article, 1963)

[-]Optimizing ML with Run-Time Code Generation
Peter Lee and Mark Leone (inproceedings, 1996)

[-]Implementing Logical Variables On A Graph Reduction Architecture
Gary Lindstrom (inproceedings, 1986)

[-]The Persimmon MLJ Compiler
Nick Benton and Andrew Kennedy and George Russell (misc, 1998)

[-]More advice on proving a compiler correct: Improve a correct compiler
Erik Meijer (inproceedings, 1992)

[-]nhc13 from York
Niklas Rojemo (misc, 1998)

[-]Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine
Peyton Jones, Simon L. (article, 1992)

[-]Towards a Haskell/Java connection
Claus Reinke[K.~Hammond and A.J.T.~Davie and C.~Clack (ed)] (inproceedings, 1999)

[-]Haskell-Coloured Petri Nets
Claus Reinke[ (ed)] (inproceedings, 1999)

[-]Smart Recompilation in Glasgow Haskell
Patrick Sansom[Phil Trinder (ed)] (inproceedings, 1996)

[-]A Typed Intermediate Language for Haskell
Marks Shields (misc, 1997)

[-]TIL: A Type-Directed Optimizing Compiler for ML
D.~Tarditi and G.~Morrisett and P.~Cheng and C.~Stone and R.~Harper and P.~Lee (inproceedings, 1996)

[-]A Haskell to Java Virtual Machine Code Compiler,
David Wakeling (inproceedings, 1997)

[-]Mobile Haskell: Compiling Lazy Functional Programs for the Java Virtual Machine
David Wakeling (inproceedings, 1998)

[-]The Dynamic Compilation of Lazy Functional Programs
David Wakeling (article, 1998)

[-]Heap Compression and Binary I/O in Haskell
Malcolm Wallace and Colin Runciman (inproceedings, 1997)

cr3@ukc.ac.uk