Contributions offered by Nick Benton for topics 
H (semantics-based optimisation)

Andrew Kennedy and I would like to give a talk about the internals
of MLJ, our SML to Java bytecode compiler. One of the novel features
of MLJ is a typed intermediate language based on Moggi's computational
lambda calculus; we will describe this language and the way in
which it provides a clean uniform framework for effect-based analysis
and transformation.

--------------------------------------------------------------
Result of feedback form submitted by
Benton (nick@persimmon.co.uk) on Monday, July 20, 1998 at 17:12:5