The programming languages and verification 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:
https://wiki.mq.edu.au/display/plrg/PL+Reading+Group
Our current topic is:
Language Server Protocol
On January 18 we will discuss Microsoft’s Language Server Protocol which is designed to provide efficient communication between front-ends such as text editors and language-specific services [1].
Tony Sloane will also describe and demo some work in progress to add language server support to Macquarie’s Kiama language processing library [2].
Readings
[1]
https://microsoft.github.io/language-server-protocol/
[2]
https://bitbucket.org/inkytonik/kiama
We hope to see you there.
Tony, Matt, Dom and Franck