First Page | Document Content | |
---|---|---|
![]() Date: 2007-01-26 09:13:38Computing Type inference Type system Lambda calculus Constraint programming Hindley–Milner Generalized algebraic data type Constraint satisfaction Standard ML Software engineering Programming language theory Type theory | Add to Reading List |