weakmemory.github.io

Semantics of Programming Languages (Constructor University, Spring’23)

• Instructions for setting up environment
• Homework assignments
• Previous class lecture videos (in Russian)

Coq files from lectures

TBA

Recommended Textbooks and Resources

• Glynn Winskel. The Formal Semantics of Programming Languages;
• Coq tactics cheatsheets: Link 1, Link 2
• Coq Reference Manual;
• Classical introductory course to logic via Coq, Software Foundations. Logical Foundations.

Requirements

• Basic knowledge of functional programming will be a plus: – algebraic data types, lists, etc.
• Essential understanding and knowledge of propositional logic is expected: – conjunction, disjunction, logical implication, etc.