9.7 Notes
|
| < Free Open Study > |
|
9.7 Notes
The simply typed lambda-calculus is studied in Hindley and Seldin (1986), and in even greater detail in Hindley's monograph (1997).
Well-typed programs cannot "go wrong." -Robin Milner (1978)
|
| < Free Open Study > |
|
Types and Programming Languages
ISBN: 0262162091
EAN: 2147483647
EAN: 2147483647
Year: 2002
Pages: 262
Pages: 262
Authors: Benjamin C. Pierce