haskell

2021-09-01 - 2021-10-01 (18 messages)

2021-08-01 - 2021-09-01 (16 messages)

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

  1. 2021-08-30  [1] [Haskell] IFL'21 final call for participatio  Pieter Koop
  2. 2021-08-26  [2] [Haskell] Research Assistant/Associate at De  Francisco F
  3. 2021-08-25  [1] [Haskell] IFL'21 call for participation       Pieter Koop
  4. 2021-08-20  [1] [Haskell] Call for Participation: Haskell Im  Ningning Xi
  5. 2021-08-19  [1] [Haskell] Certified Programs and Proofs (CPP  Andrei Pope
  6. 2021-08-16  [1] [Haskell] Assistant/Associate Professorships  Graham Hutt
  7. 2021-08-12  [1] [Haskell] PEPM 2022 - First Call for Papers   Youyou Cong
  8. 2021-08-06  [1] [Haskell] Call for Workshops - FLoC 2022      Victor Pere
  9. 2021-08-06  [1] [Haskell] Preliminary Call for Papers: FLOPS  Michael Han
 10. 2021-08-06  [1] [Haskell] Call for Lightning Talks: Haskell   Ningning Xi
 11. 2021-08-06  [1] [Haskell] Call for Participation: ICFP 2021   Sam Tobin-H
 12. 2021-08-05  [1] [Haskell] IFL'21 Final call for papers        Pieter Koop
 13. 2021-08-05  [1] [Haskell] Call for Participation: PPDP & LOP  Niccolò_Ve
 14. 2021-08-04  [1] [Haskell] Call for Participation: CALCO & MF  Thorsten Wi
 15. 2021-08-04  [1] [Haskell] CFP: 24th International Symposium   James Chene