Hackers guid to MLton IR

Daniel Wang danwang@cs.princeton.edu
23 Nov 1999 22:38:10 -0500


Is there a "compiler hackers" guide to MLton's internals.  I'd like to hack
into MLton to do some research, and what I'm looking for is a high-level
description of the various ILs that MLton uses.

In particular is there a phase of MLton where the IL is monorphic
first-order and type safe.