Practical foundations for programming languages /
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 and rigorously while relying on only elementar...
Saved in:
Main Author: | |
---|---|
Format: | Electronic eBook |
Language: | English |
Published: |
Cambridge :
Cambridge University Press,
2016.
|
Edition: | Second edition. |
Subjects: | |
Online Access: | CONNECT |