On September 2 the Macquarie University Programming Languages 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 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 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 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