Lambda the Ultimate

inactiveTopic Types and Programming Languages
started 2/24/2002; 1:30:46 AM - last post 2/24/2002; 9:27:37 AM
Ehud Lamm - Types and Programming Languages  blueArrow
2/24/2002; 1:30:46 AM (reads: 1989, responses: 1)
Types and Programming Languages
(via the Types Forum)

Types and Programming Languages by Benjamin C. Pierce. ISBN 0-262-16209-1

This text provides a comprehensive introduction both to type systems in computer science and to the basic theory of programming languages. The approach is pragmatic and operational; each new concept is motivated by programming examples and the more theoretical sections are driven by the needs of implementations


Posted to theory by Ehud Lamm on 2/24/02; 1:32:51 AM

Ehud Lamm - Re: Types and Programming Languages  blueArrow
2/24/2002; 9:27:37 AM (reads: 1048, responses: 0)
I'd love to see the first chapter online. Seeing how a researcher of this caliber summarizes his subject is always enlightening.