very very happy to announce my and @wilbowma's paper "Type Universes as Kripke Worlds" at ICFP 2025 this year π π π
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
95
7
26
Conversation (7)
Showing 0 of 7 cached locally.
Syncing comments from the remote thread. 7 more replies are still loading.
Loading comments...