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>
|====