Hicks, Michael2023-05-222023-05-2219982008-01-04https://repository.upenn.edu/handle/20.500.14332/7752The 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.Report