Programming Languages @BUCS
UNDER CONSTRUCTION

This is a set of notes for CAS CS 320: Principles of Programming Langauges at Boston Univeristy. They are based on material created by several members of the Principles of Programming and Verification (POPV) group.

These notes are incredibly incredibly rough. They are likely rife with typos, misspellings and grammatical errors, poorly written sections, missing explanations, etc. To students: we appreciate your (assumed) patience. To everyone: any comments are welcome. If you spot a error, you are encouraged to post an issue to the associated GitHub repository.

• The Interpretation Pipeline
  
• Formal Grammar
  
• Parser Generators
  
• Formal Semantics
  
• Type Checking
  
• Type Inference