🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

Wonderful - spread the graded types love!

Making us look cool once again!

a quick look at a few more features for the Granule language server that I am somehow still motivated to keep hacking on! hopefully more to come 😉

Starting next year, I'm going to be a Lecturer at School of Computing at the University of Kent!

Includes our paper (w. @jackohughes_ and vollmerm) on deriving graded distributive laws and substructural combinators from types, implemented in The Granule Project and for LinearTypes extension of GHC arxiv.org/html/2112.14305

Dominic Orchard @jackohughes_ vollmerm The Granule Project Check out the abstract! arxiv.org/abs/2112.14966

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!

this is happening now! come talk to me on the SRC poster 7 table in the lounge 😁

very excited to be in the POPL SRC finals this year along with 🥢 Jon 🍲 and paulette d. koronkevich @[email protected]!! 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 😉

Very proud of my PhD student Dani ✨🐚 for winning 1st prize at the POPL 2026 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 School of Computing at the University of Kent

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!

v0.9.0.0 of Granule is released! github.com/granule-projec… (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.

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.

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

Very pleased to welcome Marco Paviotti (Marco Paviotti, mpaviotti.github.io) to the Granule project, who joins us at School of Computing at the University of Kent as a Senior Research Associate.

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!👏 Dominic Orchard School of Computing at the University of Kent 🔗: 2022.ecoop.org/details/ecoop-… 📄: starsandspira.ls/docs/ecoop22-d…

It's Dominic Orchard again?! Yup, but this time with a #ECOOP22 Distinguished Paper Award! 🏆🎉 Congrats! Dani ✨🐚 #TwoBirdsWithOneStone 2022.ecoop.org/details/ecoop-…

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/meeting.html (and see for schedule) (sorry for being slow making general announcement!)