Type Theory Glossary

Browse 2 type theory terms defined in plain English, from the cultural dictionary of computing.

2 Type Theory Terms

Haskell

A purely functional programming language with strong static typing, lazy evaluation, and a sophisticated type system including type classes and monads. Haskell...

OCaml

A multi-paradigm language from the ML family featuring a powerful type inference system, pattern matching, and a native code compiler that produces fast...

Related Topics

• Functional (2 terms in common)
• Language (2 terms in common)
• Academic (1 terms in common)
• Ml (1 terms in common)