Date of this Version
The design objectives and the mechanisms for achieving those objectives are considered for each of three systems, Java, Erlang, and TIL. In particular, I examine the use of types and intermediate representations in the system implementation. In addition, the systems are compared to examine how one system's mechanisms may (or may not) be applied to another.
Michael Hicks, "Types and Intermediate Representations", . January 1998.
Date Posted: 05 January 2008