haskell

2022-09-01 - 2022-10-01 (6 messages)

2022-08-01 - 2022-09-01 (5 messages)

2022-07-01 - 2022-08-01 (8 messages)

  1. 2022-08-30  [1] [Haskell] GHC Proposals session at Haskell Symposium  haskell   Joachim Breit
  2. 2022-08-16  [1] [Haskell] Certified Programs and Proofs (CPP) 2023 Ca haskell   Steve Zdancew
  3. 2022-08-15  [1] [Haskell] IFL22: Early registration deadline August 1 haskell   Pieter Koopma
  4. 2022-08-09  [1] [Haskell] 1st Call for Papers: PADL 2023              haskell   Michael Hanus
  5. 2022-08-05  [1] [Haskell] PPDP 2022 and LOPSTR 2022 Call for Particip haskell   Manuel Hermen