ClosureConvert - MLton Standard ML Compiler (SML Compiler)

MLton MLTONWIKIVERSION | ClosureConvert |
Home Index

ClosureConvert is a translation pass from the SXML IntermediateLanguage to the SSA IntermediateLanguage.

## Description

It converts an SXML program into an SSA program.

Defunctionalization is the technique used to eliminate Closures (see CejtinEtAl00).

Uses Globalize and LambdaFree analyses.

## Implementation

closure-convert.sig closure-convert.fun

## Details and Notes

Last edited on 2006-11-02 17:57:14 by MatthewFluet.