Abstract: |
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.
|