Programming Languages: Application and Interpretation

Abstract

Chapter 1: Introduction. Chapter 2: Everything (We Will Say) About Parsing. Chapter 3: A First Look at Interpretation. Chapter 4: A First Taste of Desugaring. Chapter 5: Adding Functions to the Language. Chapter 6: From Substitution to Environments. Chapter 7: Functions Anywhere. Chapter 8: Mutation Structures and Variables. Chapter 9: Recursion and Cycles: Procedures and Data. Chapter 10: Objects. Chapter 11: Memory Management. Chapter 12: Representation Decisions. Chapter 13: Desugaring as a Language Feature. Chapter 14: Control Operations. Chapter 15: Checking Program Invariants Statically: Types. Chapter 16: Checking Program Invariants Dynamically: Contracts. Chapter 17: Alternate Application Semantics.