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

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