Extensible data types in PL reading group this week
2 views
Skip to first unread message
Anthony Sloane
Sep 14, 2019, 7:47:56 PM9/14/19
to FSE Computing Academic Staff, FSE Computing Postgraduate, sci.plrg-reading-Google-Group
The Programming Languages and Verification Reading Group at Macquarie University, Department of Computing meets on (many) Fridays from
4-6pm in the Jan Hext Seminar Room (room 221, 4 Research Park Drive).
plvmq.bitbucket.io/#readinggroup/
Our current topic is:
[1] https://dl.acm.org/citation.cfm?id=3290325
cheers,
Tony
plvmq.bitbucket.io/#readinggroup/
Our current topic is:
Extensible data types
On September 20 we will discuss the paper "Abstracting extensible data types: or, rows by any other name" by Morris and McKinna from POPL 2019 [1].
On September 20 we will discuss the paper "Abstracting extensible data types: or, rows by any other name" by Morris and McKinna from POPL 2019 [1].
[1] https://dl.acm.org/citation.cfm?id=3290325
cheers,
Tony
Reply all
Reply to author
Forward
0 new messages