@koronkebitch @wilbowma @atsuzaki @secretasianman the ICFP’25 announcent, for extra motivation:
https://www.dropbox.com/scl/fi/2su0bt0chcpbqpqhspaoz/ICFP25-announcement.pdf?rlkey=yghbloixz6j777y6c02rt53vi&dl=0
Ilya Sergey
@ilyasergey@types.pl
Associate Prof at NUS School of Computing. PL, proofs, systems, pictures of corgi. https://ilyasergey.net
types.pl
Ilya Sergey
@ilyasergey@types.pl
Associate Prof at NUS School of Computing. PL, proofs, systems, pictures of corgi. https://ilyasergey.net
types.pl
@ilyasergey@types.pl
·
Sep 22, 2024
5
1
0
Conversation (1)
Showing 0 of 1 cached locally.
Syncing comments from the remote thread. 1 more reply is still loading.
Loading comments...