Isabelle (proof assistant)
article-link
What links here
Logic for Computable Functions
Standard ML
article-link
Robin Milner
article-link
Type theory
article-link
OCaml
article-link
LCF
article-link
ML (programming language)
article-link
WikiHQWikiHQLogic for Computable Functions
article-link
article-link
article-link
article-link
article-link
article-link
article-link