Practical foundations for programming languages / Robert Harper.

"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 ele...

Full description

Bibliographic Details

Online Access:	Full Text (via Cambridge)
Main Author:	Harper, Robert, 1957- (Author)
Format:	Electronic eBook
Language:	English
Published:	New York NY : Cambridge University Press, ©2016.
Edition:	2nd ed.
Subjects:	Programming languages (Electronic computers)