Relation to work in compilers

From a compiler implementation perspective, the most interesting aspects of the compiler are:

• type inference in the context of overloaded identifiers and type constructors, with types being first class values,

• the combination of cross-file inlining and data structure elimination to reduce overhead

• the use of dataflow analysis to reduce flow graphs produced by constructs such as generators

• efficient implementation of types as run-time values,

• storage management performed through a run-time conservative garbage collector [2], and

• portability across many hardware platforms and operating systems.

As far as we are aware, the first three of these items are new. The remaining items have novel aspects.