ESOP 86
Robinet, Bernard![ESOP 86](https://support.digitalhusky.com/media/annotations/sorted/324/3246069/CHSBZCOP033246069.jpg)
Compiler generation from relational semantics.- Correctness of code generation from a two-level meta-language.- A general approach to the optimization of function calls.- Lifetime analysis for procedure parameters.- Another implementation technique for applicative languages.- Graal : A Functional Programming system with uncurryfied combinators and its reduction machine.- A safe approach to parallel combinator reduction (extended abstract).- Re...