= ClosureConvert

<<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
<<Closure#>>s (see <<References#CejtinEtAl00,CejtinEtAl00>>).

Uses <<Globalize#>> and <<LambdaFree#>> analyses.

== Implementation

* https://github.com/MLton/mlton/blob/master/mlton/closure-convert/closure-convert.sig[`closure-convert.sig`]
* https://github.com/MLton/mlton/blob/master/mlton/closure-convert/closure-convert.fun[`closure-convert.fun`]

== Details and Notes

{empty}
