[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
We are happy to invite submissions to the ML Family Workshop 2023
(with apologies for cross-posting):
Higher-order, Typed, Inferred, Strict: ACM SIGPLAN ML
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear all, I am letting you know that the deadline has been extended to
June 8th (AoE).
Guillaume
Le 24/05/2023 à 19:05, Guillaume Munch-Maccagnoni a écrit :
We are happy to invite submis