First Page | Document Content | |
---|---|---|
![]() Date: 2010-10-26 21:47:01Software engineering Type inference Lambda calculus Standard ML Kind System F Type system Hindley–Milner Unification Type theory Programming language theory Theoretical computer science | Add to Reading List |