November 2009 Archives by subject

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

Starting: Mon Nov 2 05:40:38 EDT 2009
Ending: Mon Nov 30 09:15:06 EDT 2009
Messages: 52

• [Haskell] about verification of haskell program   Liu Jian
• [Haskell] ANN: fdo-notify 0.1, a client for the Desktop Notifications protocol   Max Rabkin
• [Haskell] ANN: GPipe-1.1.0 with greatly improved performance   Tobias Bexelius
• [Haskell] ANN: haskell-src-exts-1.3.0   Niklas Broberg
• [Haskell] ANN: NoSlow - Microbenchmarks for array libraries   Roman Leshchinskiy
• [Haskell] ANN: package-vt-0.1.3.3, Haskell Package Versioning Tool   Krzysztof Skrzętnicki
• [Haskell] ANN: ZuriHac: Haskell hackathon in Zurich, March 19-21   Johan Tibell
• [Haskell] ANNOUNCE: Clutterhs 0.1   Matt Arsenault
• [Haskell] ANNOUNCE: control-monad-exception 0.5 with monadic call traces   Jose Iborra
• [Haskell] ANNOUNCE: dbus-core 0.6 and dbus-client 0.2   John Millikin
• [Haskell] ANNOUNCE: feldspar-compiler   Emil Axelsson
• [Haskell] ANNOUNCE: feldspar-language   Emil Axelsson
• [Haskell] ANNOUNCE: gnome-keyring 0.1 (bindings to libgnome-keyring)   John Millikin
• [Haskell] ANNOUNCE: graphviz-2999.7.0.0   Ivan Lazar Miljenovic
• [Haskell] ANNOUNCE: Haskell Communities and Activities Report (17th ed., November 2009)   Simon Peyton-Jones
• [Haskell] ANNOUNCE: Haskell Communities and Activities Report (17th ed., November 2009)   voigt at tcs.inf.tu-dresden.de
• [Haskell] ANNOUNCE: Hubris 0.0.2, the Ruby-Haskell bridge   Mark Wotton
• [Haskell] ANNOUNCE: NetSNMP-0.1.6   John Dorsey
• [Haskell] ANNOUNCE: New Industrial Haskell Group membership options   Duncan Coutts
• [Haskell] ANNOUNCE: qtHaskell-1.1.3   Jens Petersen
• [Haskell] ANNOUNCE: qtHaskell-1.1.3   Jens Petersen
• [Haskell] ANNOUNCE: qtHaskell-1.1.3   Jens Petersen
• [Haskell] Announcing Haskell 2010   Simon Marlow
• [Haskell] Announcing Haskell 2010   Malcolm Wallace
• [Haskell] Announcing Haskell 2010   David Leimbach
• [Haskell] Announcing Haskell 2010   Norman Ramsey
• [Haskell] Call for Participation - PEPM'10 (co-located with POPL'10)   voigt at tcs.inf.tu-dresden.de
• [Haskell] Call for Participation: TLDI'10   Andrew Kennedy
• [Haskell] CMCS 2010: First call for papers   Alexandra Silva
• [Haskell] Deadline Extension: JSC Special Issue on Automated Specification and Verification of Web Systems   demis at dimi.uniud.it
• [Haskell] Final CFP: WFLP 2010. Deadlines extended: Abstract due Nov 18; Full paper due Nov 25 (LNCS)   Pablo Nogueira
• [Haskell] Fun in the Afternoon, Cambridge, 26 November   Simon Marlow
• [Haskell] GPCE'10 First Call for Papers   Bruno Oliveira
• [Haskell] Haskell Weekly News: Issue 138 - November 07, 2009   jfredett at gmail.com
• [Haskell] Haskell Weekly News: Issue 139 - November 14, 2009   jfredett at gmail.com
• [Haskell] Haskell Weekly News: Issue 140 - November 22, 2009   jfredett at gmail.com
• [Haskell] Haskell Weekly News: Issue 141 - November 29, 2009   jfredett at gmail.com
• [Haskell] HWN This week   Joe Fredette
• [Haskell] ICFP '10: Second call for workshop proposals   Wouter Swierstra
• [Haskell] ICFP 2010: Call for papers   Wouter Swierstra
• [Haskell] inline assembly a la gcc   Piyush P Kurur
• [Haskell] inline assembly a la gcc   Don Stewart
• [Haskell] Interesting experiences of test automation in Haskell? Automation of Software Test 2010   John Hughes
• [Haskell] job at the University of Technology in Cottbus   Wolfgang Jeltsch
• [Haskell] Re: [Haskell-cafe] ANN: package-vt-0.1.3.3, Haskell Package Versioning Tool   Bryan O'Sullivan
• [Haskell] Re: [Haskell-cafe] ANNOUNCE: gnome-keyring 0.1 (bindings to libgnome-keyring)   John Millikin
• [Haskell] Reminder: Fun in the afternoon, MSR Cambridge, 26 Nov   Simon Marlow
• [Haskell] Scottish Category Theory Seminar   Conor McBride
• [Haskell] Tabla de calculo de dolares viajero CADIVI   Hector Guilarte
• [Haskell] TFP 2010 - Call for Papers   TFP 2010
• [Haskell] two PhD positions in static analysis, Technical University Munich, Germany   Axel Simon
• [Haskell] VSTTE 2010: Verified Software -- Second Call for Papers   Gudmund Grov

Last message date: Mon Nov 30 09:15:06 EDT 2009
Archived on: Mon Nov 30 08:50:13 EDT 2009

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