Practical Foundations for Programming Languages

En savoir plus sur le livre

Focusing on the integration of programming language concepts, this book explores type systems and structural operational semantics as a cohesive framework. It provides insights into how these elements interact and contribute to the understanding of programming languages, making complex ideas more accessible for readers interested in the theoretical foundations of computer science.