On September 2 the Macquarie University Programming Languages PL Reading Group will discuss the paper Tracing for Web 3.0: Trace Compilation for the Next Generation Web Applications by Chang at al, which discusses a novel just-in-time optimisation technique for dynamic languages.

(Note: the Coq thread of discussion has been moved to a separate time Tuesdays 5-7pm in E6A357 starting on August 30. Please join the mailing list for announcements about this sub-group.)

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

On August 12 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 Poly: Polymorphism and Higher-Order Functions chapter

On August 5 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 remainder of the Basics chapter, and
  • the Lists: Products, Lists and Options chapter