First Page | Document Content | |
---|---|---|
![]() Date: 2014-10-31 06:48:56Computer science Lambda calculus Type inference Hindley–Milner Type system Unification Symbol System F ALGOL 68 Type theory Programming language theory Theoretical computer science | Add to Reading List |