Classification

Jump to bottom Edit New page

nponeccop edited this page Apr 28, 2017 · 1 revision

Classification of Type Systems

There are many similar toy programming languages.

ML family

Language	Inference	Nominal
Purescript	?	Y
Haskell2010	Full	Y
Ocaml		Y
HNC		Y
Oczor

L

Agda family