Joined December 2020
- Tweets 34
- Following 31
- Followers 188
- Likes 23
3 Photos and videos
5 Oct 2022
The video of talks from the 2022 Graded Types Meeting held at @UniKentComp back in June are now online youtube.com/watch?v=UauRsFiX…
1
2
10
11 Jun 2022
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!)
1
5
6
The Granule Project retweeted
8 Jun 2022
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…
2
14
73
The Granule Project retweeted
10 Jun 2022
It's @dorchard again?! Yup, but this time with a #ECOOP22 Distinguished Paper Award! 🏆🎉
Congrats! @starsandspirals #TwoBirdsWithOneStone 2022.ecoop.org/details/ecoop…
1
10
5 May 2022
Very pleased to welcome Marco Paviotti (@m4rk1x, mpaviotti.github.io) to the Granule project, who joins us at @UniKentComp as a Senior Research Associate.
1
3
8
The Granule Project retweeted
1 Apr 2022
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.
1 Apr 2022
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.
1
5
11
The Granule Project retweeted
1 Apr 2022
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: 👇
1
1
3
1 Apr 2022
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.
3
16
The Granule Project retweeted
21 Feb 2022
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!
18 Feb 2022
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…
4
4
The Granule Project retweeted
21 Jan 2022
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
21 Jan 2022
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 😄
1
4
31
The Granule Project retweeted
16 Jan 2022
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 😉
3
3
22
The Granule Project retweeted
16 Jan 2022
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!
3
7
14
The Granule Project retweeted
16 Jan 2022
this is happening now! come talk to me on the SRC poster 7 table in the lounge 😁
16 Jan 2022
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!
1
1
2
The Granule Project retweeted
4 Jan 2022
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
4 Jan 2022
Proceedings Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications
UD Lago, V de Paiva - arXiv preprint arXiv:2112.14305, 2021
1
3
15
The Granule Project retweeted
30 Nov 2021
Starting next year, I'm going to be a Lecturer at @UniKentComp!
7
1
73
The Granule Project retweeted
19 Nov 2021
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 😉
1
2
11
9 Nov 2021
Making us look cool once again!
9 Nov 2021
a brand new chapter of the "Daniel procrastinates by tinkering with Granule's VS Code extension" saga 💻
4
21 Oct 2021
Wonderful - spread the graded types love!
2