The video of talks from the 2022 Graded Types Meeting held at @UniKentComp back in June are now online youtube.com/watch?v=UauRsFiX…
We are running a hybrid meeting on all things graded types, Friday June 17th starting at 09:30 UK time. If you would like to join us online, or even in person, please sign up here: granule-project.github.io/me… (and see for schedule)
(sorry for being slow making general announcement!)
The Granule Project retweeted
The #ECOOP22 paper "How to Take the Inverse of a Type" by Daniel Marshall, Dominic Orchard received both a Distinguished Paper AND a Distinguished Artifact Award! Congratulations to the authors!👏 @dorchard @UniKentComp
🔗: 2022.ecoop.org/details/ecoop…
📄: starsandspira.ls/docs/ecoop2…
The Granule Project retweeted
It's @dorchard again?! Yup, but this time with a #ECOOP22 Distinguished Paper Award! 🏆🎉
Congrats! @starsandspirals #TwoBirdsWithOneStone 2022.ecoop.org/details/ecoop…
Very pleased to welcome Marco Paviotti (@m4rk1x, mpaviotti.github.io) to the Granule project, who joins us at @UniKentComp as a Senior Research Associate.
The Granule Project retweeted
We've been sitting on this new release of Granule for a while but thought it best to get out before conference talks next week using it! There is still lots that is brewing (and things to polish) not here, but I'm very proud of all the exciting ideas our team has been exploring.
v0.9.0.0 of Granule is released! github.com/granule-project/g… (we are working on getting more binary formats available).
Exciting new features include uniqueness types, mutable float arrays, Granule->Haskell compiler, and non-linear session types primitives.
The Granule Project retweeted
Hope to write some blog posts / have videos to share that exemplify some of the new ideas. Captured here are ideas from several of our recent papers: 👇
v0.9.0.0 of Granule is released! github.com/granule-project/g… (we are working on getting more binary formats available).
Exciting new features include uniqueness types, mutable float arrays, Granule->Haskell compiler, and non-linear session types primitives.
The Granule Project retweeted
can definitely recommend joining us here in Canterbury!! maybe you could even work on Granule if that's your kind of thing - but there's plenty of other cool stuff going on too 😉 feel free to message if you want to chat with a student or hear about Kent life before you apply!
Still time (until 13th March) to apply for a PhD position in the amazing Programming Languages and Systems (PLAS) group at @UniKentComp research.kent.ac.uk/programm…
Drop me an e-mail if you'd like to talk.
Application and scholarship details:
kent.ac.uk/scholarships/sear…
The Granule Project retweeted
Very proud of my PhD student @starsandspirals for winning 1st prize at the @poplconf Student Research Competition for his work on unifying the concepts of linearity, uniqueness, and ownership in programming. Great and timely stuff + he gave a brilliant presentation @UniKentComp
The Granule Project retweeted
very excited to be in the POPL SRC finals this year along with @ionathanch and @koronkebitch!! come and watch our talks on Tuesday if you get the chance - can confirm their work is very cool, and I'd like to think mine is pretty cool too 😉
The Granule Project retweeted
the virtual poster session for the SRC at POPL is happening today! check out my video here youtu.be/TQy4mQH3iJ8 😄 and if you’re registered for the conference then join us all on Airmeet later to chat or ask any questions!
The Granule Project retweeted
this is happening now! come talk to me on the SRC poster 7 table in the lounge 😁
the virtual poster session for the SRC at POPL is happening today! check out my video here youtu.be/TQy4mQH3iJ8 😄 and if you’re registered for the conference then join us all on Airmeet later to chat or ask any questions!
The Granule Project retweeted
Includes our paper (w. @jackohughes_ and @ma_vollmer) on deriving graded distributive laws and substructural combinators from types, implemented in @granulelang and for LinearTypes extension of GHC arxiv.org/html/2112.14305
The Granule Project retweeted
Starting next year, I'm going to be a Lecturer at @UniKentComp!