Foundations for Programming Languages
BücherAngebote / Angebote:
Written for advanced undergraduate and beginning graduate students, Foundations for Programming Languages uses a series of typed lambda calculi to study the axiomatic, operational, and denotational semantics of sequential programming languages. Later chapters are devoted to progressively more sophisticated type systems.
Folgt in ca. 15 Arbeitstagen