Implementing a Java JIT compiler in Haskell
Bernhard Urban, Harald Steinlechner · 2013
We present a JVM prototype implemented in the purely-functional language Haskell. It exploits several features of the language, such as strong static typing to implement an intermediate representation, and abstraction mechanism to express machine code generation in the manner of a domain specific language.