Practical Foundations for Programming Languages

E1983224 UNEXPLORED

Practical Foundations for Programming Languages is a comprehensive textbook that rigorously develops the mathematical and theoretical underpinnings of programming languages, including type systems, operational semantics, and program verification.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (2)

Label	Occurrences
Practical Foundations for Programming Languages canonical	2
Practical Foundations for Programming Languages, 2nd edition	1

Referenced by (3)

Full triples — surface form annotated when it differs from this entity's canonical label.

Robert Harper → hasWritten → Practical Foundations for Programming Languages ⓘ

Robert Harper → hasWritten → Practical Foundations for Programming Languages, 2nd edition ⓘ

linked to: Practical Foundations for Programming Languages

Robert Harper → notableWork → Practical Foundations for Programming Languages ⓘ