Skip to content

Latest commit

 

History

History
19 lines (12 loc) · 684 Bytes

README.md

File metadata and controls

19 lines (12 loc) · 684 Bytes

PL&V Reading Group

Please read the Wiki for more information about the reading group.

Formalisation

  • Impl.v: A Coq formalisation of the book The Formal Semantics of Programming Languages: An Introduction by Glynn Winskel.

This formalisation is being developed collectively by the RG participants during the RG's hands-on sessions[1], currently run fortnightly, alternating with normal paper-reading sessions.

  • IndRec.agda: An Agda formalisation aiming for deepen our understanding on induction-recursion (Dybjer, 1998).

[1] This is inspired by the TCS reading group at ANU: https://github.com/JamesShaker/TCSReadingGroup