MLton

LambdaCalculus

The lambda calculus is the formal system underlying Standard ML.

Last updated Thu Oct 21 15:53:06 2021 -0400 by Matthew Fluet. Log Edit