Functioning without Closure: Type-Safe Customized Function Representations for Standard ML

@inproceedings{Dimock2001FunctioningWC,
  title={Functioning without Closure: Type-Safe Customized Function Representations for Standard ML},
  author={Allyn Dimock and Ian Westmacott and Robert Muller and Franklyn A. Turbak and Joe B. Wells},
  booktitle={ICFP},
  year={2001}
}
The CIL compiler for core Standard ML compiles whole ML programs using a novel typed intermediate language that supports the generation of type-safe customized data representations. In this paper, we present empirical data comparing the relative efficacy of several different flow-based customization strategies for function representations. We develop a cost model to interpret dynamic counts of operations required for each strategy. In this cost model, customizing the representation of closed… CONTINUE READING