Information-flow control in Haskell in PLV Reading Group this week

5 views
Skip to first unread message

Anthony Sloane

unread,
Nov 24, 2019, 5:11:32 AM11/24/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:

Information-flow Control in Programming Languages

On November 29, we will discuss the paper MAC A verified static information-flow control library by Vassena et al from the Journal of Logical and Algebraic Methods in Programming [1].

Reply all
Reply to author
Forward
0 new messages