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
aaand here is the preprint π https://koronkevi.ch/files/tukw_preprint.pdf
View full thread on types.pl
12
0
4
Loading comments...