@UniKentComp granule-project.github.io/meeting.html
(details of the talks)
English
The Granule Project
34 posts
The video of talks from the 2022 Graded Types Meeting held at @UniKentComp back in June are now online youtube.com/watch?v=UauRsF…
YouTube
English
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!)
English
The Granule Project retweetledi
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/ecoop22-d…
English
The Granule Project retweetledi
It's @dorchard again?! Yup, but this time with a #ECOOP22 Distinguished Paper Award! 🏆🎉
Congrats! @starsandspirals #TwoBirdsWithOneStone 2022.ecoop.org/details/ecoop-…
English
Very pleased to welcome Marco Paviotti (@m4rk1x, mpaviotti.github.io) to the Granule project, who joins us at @UniKentComp as a Senior Research Associate.
English
The Granule Project retweetledi
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.
The Granule Project@granulelang
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.
English
The Granule Project retweetledi
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: 👇
English
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.
English
The Granule Project retweetledi
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!
Dominic Orchard@dorchard
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/programming-la… Drop me an e-mail if you'd like to talk. Application and scholarship details: kent.ac.uk/scholarships/s…
English
The Granule Project retweetledi
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
Dani ✨🐚@starsandspirals
so you're telling me I came first place in the SRC at POPL? and I get a prize?? and an invitation to enter the grand finals??? well... that's pretty cool 😄
English
The Granule Project retweetledi
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 😉
English
The Granule Project retweetledi
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!
YouTube
English
The Granule Project retweetledi
this is happening now! come talk to me on the SRC poster 7 table in the lounge 😁
Dani ✨🐚@starsandspirals
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!
English
The Granule Project retweetledi
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
Dr Valeria dePaiva@valeriadepaiva
Proceedings Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications UD Lago, V de Paiva - arXiv preprint arXiv:2112.14305, 2021
English
The Granule Project retweetledi
English
The Granule Project retweetledi
The Granule Project retweetledi
Making us look cool once again!
Dani ✨🐚@starsandspirals
a brand new chapter of the "Daniel procrastinates by tinkering with Granule's VS Code extension" saga 💻
English