The lambda calculus is the formal system underlying Standard ML.