University of Cambridge

Logic
&
Semantics

Compiling Standard ML into Java Bytecodes

By Nick Benton (5th December 1997)

One of the current projects of the Cambridge research group of Persimmon IT is to implement a compiler for Standard ML which produces Java bytecodes. This talk will discuss the motivation for the project, the approach we've taken (novel aspects of the compiler include a monadic intermediate language and extensions for interlanguage working between ML and Java), the current state of the project and future directions.

LS Home page or Talks in 1997