Practical Foundations for Programming Languages

Robert Harper

Bog | Engelsk

Beskrivelse

This text develops a comprehensive theory of programming languages based on type systems and structural operational semantics. Language concepts are precisely defined by their static and dynamic semantics, presenting the essential tools both intuitively a…