In reply to
paulette d. koronkevich
@koronkebitch@types.pl
something something IU->Galois->UBC (I'm a PhD student at UBC studying weird connections between mutable references and type universes)
types.pl
paulette d. koronkevich
@koronkebitch@types.pl
something something IU->Galois->UBC (I'm a PhD student at UBC studying weird connections between mutable references and type universes)
types.pl
@koronkebitch@types.pl
·
Jun 27, 2025
this work is also a culmination of so much support, a special thanks to @ohad and also many others that will appear in our acknowledgements. I am so grateful that so many experts were intrigued by an initial idea presented at HOPE in 2023.
View full thread on types.pl
6
2
0
Conversation (2)
Showing 0 of 2 cached locally.
Syncing comments from the remote thread. 2 more replies are still loading.
Loading comments...