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