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
on a more personal note, I am so so grateful and elated. the ICFP reviews were incredible, a reviewer found that our definitions didn't quite make sense but offered lots of communication and suggestions on ways to fix them. the high quality of all the reviews really confirmed what an outstanding conference ICFP is and why it remains my favorite to this day!!!!!
View full thread on types.pl
38
2
0
Conversation (2)
Showing 0 of 2 cached locally.
Syncing comments from the remote thread. 2 more replies are still loading.
Loading comments...