Shrinking reductions in SML. NET

N. Benton, A. Kennedy, S. Lindley, C. Russo

Research output: Chapter in Book/Report/Conference proceedingConference contribution


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, pointerbased
term representation, which significantly outperforms our existing
functional algorithm.
Original languageEnglish
Title of host publicationImplementation and Application of Functional Languages
PublisherSpringer-Verlag Berlin Heidelberg
Number of pages18
ISBN (Print)978-3-540-69174-7
Publication statusPublished - 2005

Cite this