Practical Foundations for Programming Languages

Robert Harper

book completed cs-theory

External Link https://www.cs.cmu.edu/~rwh/pfpl/

type-theory programming-languages foundations

View Resource All Media More in Cs-Theory