The programming languages and verification reading group at Macquarie University, Department of Computing meets on (most) Fridays from 4pm in 9WW357 (formerly E6A357). All welcome. The reading group home page is at:
https://wiki.mq.edu.au/display/plrg/PL+Reading+Group
Our current topic is:
Algebraic Effects and Handlers
On February 1 we will discuss the paper "An Introduction to Algebraic Effects and Handlers" by Matija Pretnar [1].
Readings
[1]
https://www.sciencedirect.com/science/article/pii/S1571066115000705
Please contact us if you are unable to access the reading(s) via the links above.
We hope to see you there.
Tony, Matt, Dom and Franck