[TYPES/announce] SPLASH 2023 - Second Combined Call for Contributions

2023-07-10 Thread Alcides Fonseca
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == Second Combined Call For Contributions ACM Conference on Systems, Programming, Languages, and

[TYPES/announce] SPLASH 2023 - Second Combined Call for Contributions

2023-06-16 Thread Alcides Fonseca
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == Second Combined Call For Contributions ACM Conference on Systems, Programming, Languages, and