MLton 20180207
LambdaCalculus
The
lambda calculus
is the formal system underlying
Standard ML
.