More Software Foundations in PL Reading Group Aug 19

On August 19 the Macquarie University Programming Languages PL Reading Group will continue our series of hands-on sessions working through Software Foundations by Pierce et al.

In this session we will discuss:

  • the Prop: Propositions and Evidence chapter
Labels
  • None