haskell

2010-11-01 - 2010-12-01 (49 messages)

2010-10-01 - 2010-11-01 (38 messages)

2010-09-01 - 2010-10-01 (39 messages)

  1. 2010-10-31  [1] [Haskell]                                                  haskell     gdweber
  2. 2010-10-31  [9] [Haskell] Specification and prover for Haskell             haskell     Henk-Jan van Tuy
  3. 2010-10-31  [1] [Haskell] ANNOUNCE zeno 0.1.0                              haskell     Will Sonnex 
  4. 2010-10-30  [1] [Haskell] ANNOUNCE: darcs 2.5                              haskell     Reinier Lamers 
  5. 2010-10-28  [1] [Haskell] Haskell Weekly News: Issue 156 - October 27, 201 haskell     Daniel Santa Cru
  6. 2010-10-26  [1] [Haskell] ANN: mutable-iter                                haskell     John Lato 
  7. 2010-10-26  [1] [Haskell] REMINDER: Haskell Communities and Activities Rep haskell     Janis_Voigtlände
  8. 2010-10-25  [1] [Haskell] CFP: Term and Graph Rewriting/TERMGRAPH 2011     haskell     Rachid Echahed 
  9. 2010-10-24  [1] [Haskell] ANNOUNCE: iteratee-compress 0.1.1                haskell     Maciej Piechotka
 10. 2010-10-24  [7] [Haskell] Haskell Weekly News: Issue 155 - October 20,     haskell     Marc A. Ziegert 
 11. 2010-10-22  [1] [Haskell] PostDoc and PhD Positions at Yale University     haskell     Zhong Shao 
 12. 2010-10-22  [1] [Haskell] ICFP 2011: Call for Workshop Proposals           haskell     Wouter Swierstra
 13. 2010-10-22  [1] [Haskell] Deepseq                                          haskell     Gilmara Pompelli
 14. 2010-10-19  [1] [Haskell] Postdoc in Functional Programming at Chalmers    haskell     John Hughes 
 15. 2010-10-18  [3] [Haskell] Help-me read file                                haskell     kahl
 16. 2010-10-16  [1] [Haskell] New blog on Disciple/DDC development             haskell     Ben Lippmeier 
 17. 2010-10-12  [1] [Haskell] Call for Contributions - Haskell Communities and haskell     Janis_Voigtlände
 18. 2010-10-08  [1] [Haskell] ANNOUNCE: language-c-comments 0.1 package        haskell     Geoff Hulette 
 19. 2010-10-08  [1] [Haskell] ANNOUNCE: HaskellDB 2.0: Scrap your SQL strings  haskell     Justin Bailey 
 20. 2010-10-07  [1] [Haskell] CFP MSCS Issue: Dependently Typed Programming    haskell     Conor McBride 
 21. 2010-10-04  [1] [Haskell] ANNOUNCE : shaker 0.4.1                          haskell     Anthonin Bonnefo
 22. 2010-10-04  [1] [Haskell] TLDI 2011: Final CALL FOR PAPERS                 haskell     Stephanie Weiric