haskell

2019-10-01 - 2019-11-01 (16 messages)

2019-09-01 - 2019-10-01 (23 messages)

2019-08-01 - 2019-09-01 (7 messages)

  1. 2019-09-26  [1] [Haskell] [EDI-2020] Call for workshop proposals: 3rd haskell   Wim Ectors 
  2. 2019-09-26  [1] [Haskell] [ABMTRANS-2020] 9th International Workshop  haskell   Wim Ectors 
  3. 2019-09-25  [1] [Haskell] FM'19 - Last call for participation         haskell   Renato Neves 
  4. 2019-09-24  [1] [Haskell] ANNOUNCE: mmsyn2 -- a new library instead o haskell   olexandr543--
  5. 2019-09-21  [8] [Haskell] ANNOUNCE: mm2: The library that can be used haskell   olexandr543--
  6. 2019-09-21  [1] [Haskell] ANNOUNCE: mm2 -- the library that can be us haskell   olexandr543--
  7. 2019-09-17  [1] [Haskell] Call for Contributions: BOB 2020 [Feb 28, D haskell   Stefan Wehr 
  8. 2019-09-17  [1] [Haskell] FLOPS 2020 First Call for papers            haskell   Keisuke Nakan
  9. 2019-09-17  [1] [Haskell] NWPT 2019 submission deadline extended      haskell   Tarmo Uustalu
 10. 2019-09-16  [1] [Haskell] Invitation to the 2nd European Forum for th haskell   Yazan Mualla 
 11. 2019-09-16  [1] [Haskell] CFP - The 4th International Workshop on Age haskell   Yazan Mualla 
 12. 2019-09-06  [1] [Haskell] CFP for Certified Programs and Proofs (CPP  haskell   Dominique DEV
 13. 2019-09-04  [1] [Haskell] SPLASH 2019 Call for Participation (early r haskell   Aggelos Bibou
 14. 2019-09-03  [1] [Haskell] FM'19 - 2nd Call for Participation          haskell   Renato Neves 
 15. 2019-09-02  [1] [Haskell] SLE 2019: Call for Endorsements - Most Infl haskell   Andrei Chis 
 16. 2019-09-01  [1] [Haskell] PEPM 2020 Call for Papers                   haskell   Casper Bach P