@inproceedings{cfe7e71be6374b208181e68f51f5a618,
title = "Shrinking reductions in SML.NET",
abstract = "One performance-critical phase in the SML.NET compiler involves rewriting intermediate terms to monadic normal form and performing non-duplicating β-reductions. We present an imperative algorithm for this simplification phase, working with a mutable, pointer-based term representation, which significantly outperforms our existing functional algorithm. This is the first implementation and evaluation of a linear-time rewriting algorithm proposed by Appel and Jim.",
author = "Nick Benton and Andrew Kennedy and Sam Lindley and Claudio Russo",
year = "2005",
doi = "10.1007/11431664_9",
language = "English",
isbn = "9783540260943",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "142--159",
booktitle = "Implementation and Application of Functional Languages",
note = "16th International Workshop on Implementation and Application of Functional Languages 2004, IFL 2004 ; Conference date: 08-09-2004 Through 10-09-2004",
}