Cooma language in PLV Reading Group this week

3 views

Skip to first unread message

Anthony Sloane

unread,

Sep 22, 2019, 8:31:46 PM9/22/19

to 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:

The Cooma Programming Language

On September 27, Tony Sloane will present an overview and demo of the Cooma programming language that is being designed and implemented in the PLV group. Cooma is based on a simple version of object capabilities and is being used as a platform for investigating secure language design.