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: Tue Nov 24 10:19:23 EDT 2009
Messages: 37

• [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: ZuriHac: Haskell hackathon in Zurich, March 19-21   Johan Tibell
• [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: 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: 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] Call for Participation - PEPM'10 (co-located with POPL'10)   voigt at tcs.inf.tu-dresden.de
• [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] 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] ICFP '10: Second call for workshop proposals   Wouter Swierstra
• [Haskell] ICFP 2010: Call for papers   Wouter Swierstra
• [Haskell] job at the University of Technology in Cottbus   Wolfgang Jeltsch
• [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: Tue Nov 24 10:19:23 EDT 2009
Archived on: Tue Nov 24 09:54:32 EDT 2009

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