... !8 gc language, except that it abstracts from the allocation of environments. (For a treatment of this topic, see Minamide, Morrisett, and Harper's account of closure conversion for a typed language =-=[29]-=-.) In particular, this organization is a fairly accurate model of the run-time data structures used by the TIL/ML compiler [38].