Caml FranzLisp, LeLisp, ZetaLisp). This work involved Guy Cousineau and Larry Paulson . ……Guy Cousineau also added algebraic data types and pattern-matching
Standard ML 直接运行在web浏览器内。它实现了大多数SML语言和选择的部份SML基本库。 研究: Isabelle/ML,剑桥大学的Larry Paulson (英语:Larry Paulson )开发的Isabelle,将并行Poly/ML集成入交互式定理证明器,它具有一个高端的IDE(基于了jEdit),用于官方Standard
Isabelle1016/0743-1066(86)90015-4. Eberl, Manuel; Klein, Gerwin; Nipkow, Tobias; Paulson , Larry ; Thiemann, René. Archive of Formal Proofs. [22 October 2019]. (原始内容存档于2020-12-19)
里克·佩里presidential bid” (页面存档备份,存于互联网档案馆), New York Daily News (June 4, 2015). Paulson , Dave. “Rick Perry's country-rap song comes from Nashville”, The Tennessean
ML语言 FranzLisp, LeLisp, ZetaLisp). This work involved Guy Cousineau and Larry Paulson . ……Guy Cousineau also added algebraic data types and pattern-matching