Can I read Programming Languages: Build Prove and Compare on EtoBox?
Programming Languages: Build Prove and Compare by bingyuwu09 is a document available to read on EtoBox.
What is Programming Languages: Build Prove and Compare about?
The document outlines a textbook by Norman Ramsey designed for undergraduate programming languages courses, emphasizing foundational principles and bridge languages that model complex programming concepts. It covers topics such as functional and object-oriented programming, type systems, and memory management, supported by interpreters and practical exercises. The book aims to equip students with both theoretical knowledge and practical skills in programming and proof techniques.
- Author
- bingyuwu09
- Language
- EN