First Page | Document Content | |
---|---|---|
![]() Date: 2002-01-08 09:02:48Functional languages Type theory Data types Lambda calculus Logic in computer science Type system ML OCaml Partial evaluation Software engineering Programming language theory Computing | Add to Reading List |