Affiliation:
1. Persimmon IT, Inc., Cambridge, U.K.
Abstract
MLJ compiles SML'97 into verifier-compliant Java byte-codes. Its features include type-checked interlanguage working extensions which allow ML and Java code to call each other, automatic recompilation management, compact compiled code and runtime performance which, using a 'just in time' compiling Java virtual machine, usually exceeds that of existing specialised bytecode interpreters for ML. Notable features of the compiler itself include whole-program optimisation based on rewriting, compilation of polymorphism by specialisation, a novel monadic intermediate language which expresses effect information in the type system and some interesting data representation choices.
Publisher
Association for Computing Machinery (ACM)
Subject
Computer Graphics and Computer-Aided Design,Software
Reference22 articles.
1. Shrinking lambda expressions in linear time
2. K. Arnold and J. Gosling. The Java Programming Language. Addison-Wesley second edition 1998. K. Arnold and J. Gosling. The Java Programming Language. Addison-Wesley second edition 1998.
3. Computational types from a logical perspective
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献