October 2012 Archives by author

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...

Starting: Mon Oct 1 17:15:54 CEST 2012
Ending: Wed Oct 31 11:45:15 CET 2012
Messages: 24

• [Haskell] ANNOUNCE: bv-0.1.0   Iago Abal
• [Haskell] PLPV 2013 Last Call for Papers   Andreas Abel
• [Haskell] ANN: New York Haskell Users Group -- First Meeting on Wed., Nov 14.   Gershom B
• [Haskell] Invitation to HASE 2012   Sanjukta Bhowmick
• [Haskell] ANNOUNCE: btree-concurrent   Johan Brinch
• [Haskell] [Haskell-cafe] ANNOUNCE: btree-concurrent   Johan Brinch
• [Haskell] Call for Papers: Only Two Months Left - STVR Special Issue on Tests and Proofs   Achim D. Brucker
• [Haskell] TAP 2013: 1st Call for Papers   Achim D. Brucker
• [Haskell] Watch all videos + code & slides from the Haskell eXchange at Skills Matter // Simon Peyton Jones, Simon Marlow, Duncan Coutts, Lennart Augustsson, many more!   Anaïs Conijn
• [Haskell] [Haskell-cafe] ANNOUNCE: btree-concurrent   Alberto G. Corona
• [Haskell] Haskell Weekly News: Issue 246   Daniel Santa Cruz
• [Haskell] Haskell Weekly News: Issue 247   Daniel Santa Cruz
• [Haskell] Haskell Weekly News: Issue 248   Daniel Santa Cruz
• [Haskell] ANN: monadLib-3.7.1 on Hackage   Iavor Diatchki
• [Haskell] CFP: Term and Graph Rewriting (TERMGRAPH2013) / ETAPS2013   Rachid Echahed
• [Haskell] Deadline Extension for DDFP 2013 (co-located with POPL 2013)   George Giorgidze
• [Haskell] SCP Special Issue on Invariant Generation - Call for Papers   Gudmund Grov
• [Haskell] ICFP 2013: Call for workshops and co-located events   David Van Horn
• [Haskell] Call for workshop proposals at CAV13   Igor Konnov
• [Haskell] ANN: hledger 0.19   Simon Michael
• [Haskell] ANNOUNCE: pretty-tree   Ivan Lazar Miljenovic
• [Haskell] ANN: cabal-install-1.16.0 (and Cabal-1.16.0.1)   Johan Tibell
• [Haskell] Call for Contributions - Haskell Communities and Activities Report, November 2012 edition   Janis Voigtländer
• [Haskell] [Haskell-cafe] Monad.Reader #21 call for copy   Edward Z. Yang

Last message date: Wed Oct 31 11:45:15 CET 2012
Archived on: Wed Oct 31 11:45:46 CET 2012

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...