Cps-Translation and the Correctness of Optimising Compilers (1992)

by Geoffrey Burn , Daniel Le Métayer
Citations:1 - 0 self

Documents Related by Co-Citation

7 Cons should not cons its arguments – Henry Baker - 1995
14 Abstract Rewriting – D. Duval, R. Echahed, F. Prost - 1993
9 The CAML primer – G Cousineau, G Huet - 1990
28 A simple, lazy abstract machine to execute supercombinators – Tim - 1987
46 Lazy Functional Languages: Abstract Interpretation and Compilation – G L Burn - 1991
7 Strictness properties of lazy algebraic datatypes – P N Benton - 1993
16 Minimal thunkification – Torben Amtoft - 1993
755 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002