Effects in Idris in PL Reading Group this week
3 views
Skip to first unread message
Anthony Sloane
Aug 28, 2018, 2:10:13 AM8/28/18
to O365-Group-Computing Postgraduate, O365-Group-Computing Academic, sci.plrg-reading-Google-Group
The programming languages 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:
wiki.mq.edu.au/display/plrg/PL+Reading+Group
Our current topic is:
Effect-based languages
On August 31 we will discuss the paper “Programming and reasoning with algebraic effects and dependent types” by Edwin Brady from ICFP 2013 [1].
Readings
[1] dl.acm.org/citation.cfm?doid=2544174.2500581
Please contact us if you are unable to access the reading(s) via the links above.
We hope to see you there.
Tony, Franck, Dom, Matt
wiki.mq.edu.au/display/plrg/PL+Reading+Group
Our current topic is:
Effect-based languages
On August 31 we will discuss the paper “Programming and reasoning with algebraic effects and dependent types” by Edwin Brady from ICFP 2013 [1].
Readings
[1] dl.acm.org/citation.cfm?doid=2544174.2500581
Please contact us if you are unable to access the reading(s) via the links above.
We hope to see you there.
Tony, Franck, Dom, Matt
Reply all
Reply to author
Forward
0 new messages