Practical Foundations for Programming Languages

This book unifies a broad range of programming language concepts under the framework of type systems and structural operational semantics.

Practical Foundations for Programming Languages

This book unifies a broad range of programming language concepts under the framework of type systems and structural operational semantics.

More Books:

Practical Foundations for Programming Languages
Language: en
Pages: 512
Authors: Robert Harper
Categories: Computers
Type: BOOK - Published: 2016-04-04 - Publisher: Cambridge University Press

This book unifies a broad range of programming language concepts under the framework of type systems and structural operational semantics.
Foundations of Probabilistic Programming
Language: en
Pages: 582
Authors: Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva
Categories: Computers
Type: BOOK - Published: 2020-12-03 - Publisher: Cambridge University Press

This book provides an overview of the theoretical underpinnings of modern probabilistic programming and presents applications in e.g., machine learning, security, and approximate computing. Comprehensive survey chapters make the material accessible to graduate students and non-experts. This title is also available as Open Access on Cambridge Core.
Programming Languages and Operational Semantics
Language: en
Pages: 209
Authors: Maribel Fernández
Categories: Computers
Type: BOOK - Published: 2014-07-08 - Publisher: Springer

This book provides an introduction to the essential concepts in programming languages, using operational semantics techniques. It presents alternative programming language paradigms and gives an in-depth analysis of the most significant constructs in modern imperative, functional and logic programming languages. The book is designed to accompany lectures on programming language
Programming Languages and Systems
Language: en
Pages: 693
Authors: Nobuko Yoshida
Categories: Computers
Type: BOOK - Published: 2021-03-22 - Publisher: Springer Nature

This open access book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg
Foundations of Software Science and Computation Structures
Language: en
Pages: 644
Authors: Jean Goubault-Larrecq, Barbara König
Categories: Mathematics
Type: BOOK - Published: 2020-04-17 - Publisher: Springer Nature

This open access book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The