主要的贡献是Robin Milner（1934-2010）的研究成果，包括LCF， Scott 可计算函数逻辑（Logic of Computable Functions）的机械化，可能是 第一个基于理论但实用的计算机辅助证明工具；ML，第一个具有多态的类型推演 和具有类型安全异常处理机制的编程...
abstract:Logic of Computable Functions (LCF) is a deductive system for computable functions proposed by Dana Scott in 1969 in a memorandum unpublished until 1993.Dana S.