Next Sydney PLT / PLS / Discus meeting is on Tuesday 11th December

Skip to first unread message

Ben Lippmeier

Dec 8, 2018, 5:40:13 AM12/8/18
Various programming languages diaspora are meeting monthly on Tuesday evenings, two weeks after FP-Syd (FP-Syd didn’t run last time because our venue was rained out, but we’ll still have the PLT meeting). This is an informal gathering and discussion without pre-prepared talks. All interested parties are welcome. 

Current projects include:

Discus: An experimental dialect of Haskell that investigates static typing and program transformation in the presence of computational effects. DDC is the compiler for it. More info at

Accelerate: An embedded language for accelerated array processing on GPGPUs. More info at

If any of the attendees have another project they want publicised then reply to this mail, or let me know for next month and I’ll include it.


The Local Taphouse
122 Flinders St, Darlinghurst NSW 2010
7pm Tuesday, 11th December 2018

If you arrive and can’t find us then call Ben Lippmeier +61 421 381 880.


Joshua Pratt

Dec 11, 2018, 1:33:18 AM12/11/18
Hi all,

Unfortunately due to a personal matter I can't make it tonight.

My short update is that Chris and I have been talking about Sequent calculus and how to use it as the basis for a type system.

Nothing much else to report.


You received this message because you are subscribed to the Google Groups "Discus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to
For more options, visit
Reply all
Reply to author
0 new messages