haskell

2020-09-01 - 2020-10-01 (22 messages)

2020-08-01 - 2020-09-01 (14 messages)

2020-07-01 - 2020-08-01 (12 messages)

  1. 2020-08-31  [1] [Haskell] BOPL / PPDP 2020 call for particip  Andreas Abe
  2. 2020-08-26  [1] [Haskell] First and Only Call for Participat  Jurriaan Ha
  3. 2020-08-25  [1] [Haskell] [EDI40-2021] CFP: 4th Internationa  Wim Ectors 
  4. 2020-08-24  [1] [Haskell] Call for participation: BOPL 2020   Michael Han
  5. 2020-08-23  [1] [Haskell] ANT-2021 CfPs: The 12th Internatio  Aneta Ponis
  6. 2020-08-19  [1] [Haskell] Third Call for Participation: ICFP  Sam Tobin-H
  7. 2020-08-18  [1] [Haskell] Certified Programs and Proofs (CPP  Andrei Pope
  8. 2020-08-14  [1] [Haskell] 3rd Call for Papers: REBLS 20: Rea  Ivan Perez 
  9. 2020-08-12  [1] [Haskell] PEPM 2021 - First Call for Papers   Sam Lindley
 10. 2020-08-11  [1] [Haskell] Third call for draft papers for IF  Jurriaan Ha
 11. 2020-08-09  [1] [Haskell] MSFP 2020 (Monday August 31st and   Sam Lindley
 12. 2020-08-08  [1] [Haskell] [ANNOUNCE] Glasgow Haskell Compile  Ben Gamari 
 13. 2020-08-07  [1] [Haskell] Call for Tutorial Participation: I  Sam Tobin-H
 14. 2020-08-07  [1] [Haskell] Second Call for Participation: ICF  Sam Tobin-H