The abstract machine for bootstrapping ML/1, developed by P.J. Brown of the University of Kent at Canterbury.