haskell

2024-01-01 - 2024-02-01 (5 messages)

2023-12-01 - 2024-01-01 (8 messages)

2023-11-01 - 2023-12-01 (19 messages)

  1. 2023-12-22  [1] [Haskell] [TFP (and TFPiE) 2024] Call For Participati haskell   Peter Achten 
  2. 2023-12-16  [1] Re: [Haskell] 31st Netherlands Functional Programming haskell   Jesper Cockx 
  3. 2023-12-15  [1] [Haskell] Call for Participation: BOB 2024 (Berlin, M haskell   Stefan Wehr 
  4. 2023-12-12  [1] [Haskell] ICFP 2024: Call for Workshops and Co-Locate haskell   ICFP Publicit
  5. 2023-12-10  [1] [Haskell] Certified Programs and Proofs (CPP'24) - Ca haskell   Brigitte Pien
  6. 2023-12-09  [1] [Haskell] Call for STSMs and ITC conference grants, d haskell   simona.k
  7. 2023-12-03  [1] [Haskell] [Deadline Extension] FormaliSE 2024 - Call  haskell   Abhishek Tiwa
  8. 2023-12-02  [1] [Haskell] (Extended deadline) CfP: Automated Program  haskell   Kristopher K