Logic in computer science
OCaml
Automated theorem proving
HOL
Caml
Proof assistant
ML
Read–eval–print loop
Isabelle
Software
Computing
Functional languages