November 2015 Archives by thread

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

Starting: Mon Nov 2 19:30:13 UTC 2015
Ending: Mon Nov 30 15:20:24 UTC 2015
Messages: 24

• [Haskell] ANN: cereal-0.5.0.0   Trevor Elliott
• [Haskell] ANN: dimensional-1.0 for statically checked physical dimensions   Douglas McClean
• [Haskell] CFP: 25th Int'l Conf. on Compiler Construction (CC) - *new deadline*   Manuel Hermenegildo
• [Haskell] Call for Papers (UTP 2016)   Huibiao Zhu
• [Haskell] Leuven Haskell User Group: Season 2   Tom Schrijvers
• [Haskell] Registration now open: Haskell in Leipzig (Germany) December 4/5   Johannes Waldmann
• [Haskell] Call for papers: PLACES 2016   Dominic Orchard
• [Haskell] ANN: linearscan, linearscan-hoopl 1.0.0   John Wiegley
  • [Haskell] [Coq-Club] ANN: linearscan, linearscan-hoopl 1.0.0   John Wiegley
• [Haskell] On Hiatus Until January 2016: Haskell Weekly News   Kim-Ee Yeoh
• [Haskell] ANN: cacophony 0.4.0, pipes-cacophony 0.1.2   John Galt
• [Haskell] NNOUNCE: Haskell Communities and Activities Report (29th ed., November 2015)   Mihai Maruseac
• [Haskell] SIGPLAN John C Reynolds Doctoral Dissertation Award   Jeremy Gibbons
• [Haskell] CFP: 25th Int'l Conf. on Compiler Construction (CC) - Final Call   Manuel Hermenegildo
• [Haskell] ANN: HaskRel; Employing GHC as a DBMS with support for the relational algebra   Thor Michael Støre
• [Haskell] [NL-FP 2016] 2nd CFP: Dutch Functional Programming Day 2016   Atze Dijkstra
• [Haskell] Haskell Digest, Vol 147, Issue 9   Cool
• [Haskell] [APLS2015] 2nd Call for Participation   Luminous Fennell
• [Haskell] NFM 2016 - first call for papers   Klaus Havelund
• [Haskell] CFP: EOOLT 2016   Henrik Nilsson
• [Haskell] PhD studentships at the Functional Programming Lab in Nottingham   Henrik Nilsson
• [Haskell] Research Fellows in Computing at Oxford Brookes University   Clare Martin
• [Haskell] JFP Issue on Dependently typed programming: second call for papers   Wouter Swierstra
• [Haskell] First Call for Papers: Special Issue of the SCP on Automated Verification of Critical Systems   Lin, Yuhui

Last message date: Mon Nov 30 15:20:24 UTC 2015
Archived on: Mon Nov 30 15:19:29 UTC 2015

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