|
Logic & Semantics |
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.