Practical Foundations for Programming Languages

Meer over het boek

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.