haskell

2015-12-01 - 2016-01-01 (19 messages)

2015-11-01 - 2015-12-01 (24 messages)

2015-10-01 - 2015-11-01 (18 messages)

  1. 2015-11-30  [1] [Haskell] First Call for Papers: Special Iss  Lin, Yuhui 
  2. 2015-11-30  [1] [Haskell] JFP Issue on Dependently typed pro  Wouter Swie
  3. 2015-11-27  [1] [Haskell] Research Fellows in Computing at O  Clare Marti
  4. 2015-11-27  [1] [Haskell] PhD studentships at the Functional  Henrik Nils
  5. 2015-11-27  [1] [Haskell] CFP: EOOLT 2016                     Henrik Nils
  6. 2015-11-26  [1] [Haskell] NFM 2016 - first call for papers    Klaus Havel
  7. 2015-11-23  [1] [Haskell] [APLS2015] 2nd Call for Participat  Luminous Fe
  8. 2015-11-23  [1] Re: [Haskell] Haskell Digest, Vol 147, Issue  Cool 
  9. 2015-11-23  [1] [Haskell] [NL-FP 2016] 2nd CFP: Dutch Functi  Atze Dijkst
 10. 2015-11-23  [1] [Haskell] ANN: HaskRel; Employing GHC as a D  Thor_Michae
 11. 2015-11-22  [2] [Haskell] CFP: 25th Int'l Conf. on Compiler   Manuel Herm
 12. 2015-11-22  [1] [Haskell] SIGPLAN John C Reynolds Doctoral D  Jeremy Gibb
 13. 2015-11-21  [1] [Haskell] NNOUNCE: Haskell Communities and A  Mihai Marus
 14. 2015-11-20  [1] [Haskell] ANN: cacophony 0.4.0, pipes-cacoph  John Galt 
 15. 2015-11-20  [1] Re: [Haskell] [Coq-Club] ANN: linearscan, li  John Wiegle
 16. 2015-11-20  [1] [Haskell] On Hiatus Until January 2016: Hask  Kim-Ee Yeoh
 17. 2015-11-20  [1] [Haskell] ANN: linearscan, linearscan-hoopl   John Wiegle
 18. 2015-11-20  [1] [Haskell] Call for papers: PLACES 2016        Dominic Orc
 19. 2015-11-13  [1] [Haskell] Registration now open: Haskell in   Johannes Wa
 20. 2015-11-09  [1] [Haskell] Leuven Haskell User Group: Season   Tom Schrijv
 21. 2015-11-07  [1] [Haskell] Call for Papers (UTP 2016)          Huibiao Zhu
 22. 2015-11-02  [1] [Haskell] ANN: dimensional-1.0 for staticall  Douglas McC
 23. 2015-11-02  [1] [Haskell] ANN: cereal-0.5.0.0                 Trevor Elli