Types and Programming Languages

Benjamin C. Pierce

book completed cs-theory

External Link https://www.cis.upenn.edu/~bcpierce/tapl/

type-theory lambda-calculus programming-languages

View Resource All Media More in Cs-Theory