haskell

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

2019-07-01 - 2019-08-01 (22 messages)

2019-06-01 - 2019-07-01 (20 messages)

  1. 2019-07-31  [2] [Haskell] Call for Participation: Summer BOB 2019 (Au haskell   Stefan Wehr 
  2. 2019-07-29  [1] [Haskell] ETAPS 2020 1st joint call for papers        haskell   Tarmo Uustalu
  3. 2019-07-27  [1] [Haskell] Formal Methods 2019 - Call for Participatio haskell   nevrenato
  4. 2019-07-26  [1] [Haskell] Final call for draft papers for IFL 2019 (I haskell   Jurriaan Hage
  5. 2019-07-24  [1] [Haskell] UNSW postdoc position for Verified Time Pro haskell   Data61, Kensi
  6. 2019-07-18  [1] [Haskell] MPC 2019 - Call for Participation           haskell   Graham Hutton
  7. 2019-07-17  [1] [Haskell] Second Call for Participation: ICFP 2019    haskell   Sam Tobin-Hoc
  8. 2019-07-16  [1] [Haskell] CFP: JFP special issue on Gradual Typing    haskell   Amal Ahmed 
  9. 2019-07-15  [5] [Haskell] EUSPN 2019 (Final Submission Date, July 15) haskell   Davidekova Mo
 10. 2019-07-14  [1] [Haskell] Workshop in OCL and Textual Modeling (OCL 2 haskell   Achim D. Bruc
 11. 2019-07-12  [1] [Haskell] Haskell Symposium: early reg deadline is ne haskell   Richard Eisen
 12. 2019-07-12  [1] [Haskell] SPLASH 2019 2nd Combined Call for Workshop  haskell   Aggelos Bibou
 13. 2019-07-09  [1] [Haskell] Fwd: EUSPN 2019 CFPs (Final Submission Date haskell   Muhammad ADNA
 14. 2019-07-09  [1] [Haskell] [ICTH-2019] final CFPs (FIRM deadline 15/07 haskell   Wim Ectors 
 15. 2019-07-03  [1] [Haskell] UNSW Sydney Seeking a Postdoc in Programmin haskell   Data61, Kensi
 16. 2019-07-02  [1] [Haskell] [ICTH-2019] CFPs (FINAL deadline 15/07): Cu haskell   Wim Ectors 
 17. 2019-07-01  [1] [Haskell] The future of the SPARC NCG backend         haskell   Ben Gamari