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

2 views
Skip to first unread message

Ben Lippmeier

unread,
Dec 8, 2018, 5:40:13 AM12/8/18
to fp-...@googlegroups.com, discu...@googlegroups.com
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 http://discus-lang.org/

Accelerate: An embedded language for accelerated array processing on GPGPUs. More info at http://hackage.haskell.org/package/accelerate.

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.

Venue:

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.

Cheers,
Ben.

Joshua Pratt

unread,
Dec 11, 2018, 1:33:18 AM12/11/18
to discu...@googlegroups.com
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.

Josh

--
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 discus-lang...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
Reply all
Reply to author
Forward
0 new messages