Effects in Idris in PL Reading Group this week

3 views
Skip to first unread message

Anthony Sloane

unread,
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
Reply all
Reply to author
Forward
0 new messages