August 2022 Archives by subject

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...

Starting: Fri Aug 5 18:54:21 UTC 2022
Ending: Tue Aug 30 06:30:34 UTC 2022
Messages: 5

• [Haskell] 1st Call for Papers: PADL 2023   Michael Hanus
• [Haskell] Certified Programs and Proofs (CPP) 2023 Call for Papers   Steve Zdancewic
• [Haskell] GHC Proposals session at Haskell Symposium at ICFP   Joachim Breitner
• [Haskell] IFL22: Early registration deadline August 15th   Pieter Koopman
• [Haskell] PPDP 2022 and LOPSTR 2022 Call for Participation   Manuel Hermenegildo

Last message date: Tue Aug 30 06:30:34 UTC 2022
Archived on: Tue Aug 30 06:14:23 UTC 2022

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...