= TalkMLtonApproach

== MLton's Approach

 * whole-program optimization using a simply-typed, first-order intermediate language
 * ensures programs are not penalized for exploiting abstraction and modularity

{nbsp} +
{nbsp} +
{nbsp} +

'''

[cols="<,>"]
|===
|<<TalkStandardML#,Prev>>|<<TalkFromSMLTo#,Next>>
|===
