Messages by Thread
-
[Haskell] ML Family workshop: First Call for Participation
oleg
-
[Haskell] CFP: PRDC2014 Call for Fast Abstracts / Industry Track Papers / Posters
liyuanfang
-
[Haskell] HART 2014 - deadline extended
Janis Voigtlaender
-
[Haskell] Final Call for Papers: OCL 2014 Submissions Due in One Week
Achim D. Brucker
-
[Haskell] Haskell Weekly News: Issue 298
Daniel Santa Cruz
-
[Haskell] PhD studentship on interval computation in Haskell
Michal Konečný
-
[Haskell] FARM 2014 Call for Participation
Henrik Nilsson
-
[Haskell] I've just published an introductory book on Haskell Data Analysis
Nick Shukla
-
[Haskell] ICFP 2014 Call for Participation
David Van Horn
-
[Haskell] 2nd CfP: WFLP 2014 - Workshop on Functional and (Constraint) Logic Programming
Johannes Waldmann
-
[Haskell] 2nd call for contributions: Haskell Implementors' Workshop 2014
Jost Berthold
-
[Haskell] HLPP 2014 - 7th Symposium on High-Level Parallel Programming and Applications
Clemens Grelck
-
[Haskell] SCSS 2014: Deadline extension
Temur Kutsia
-
[Haskell] New Assistant Professorship in Nottingham
Graham Hutton
-
[Haskell] image conversion
Peter Kaldenberg
-
[Haskell] Professorship Available
Neil Ghani
-
[Haskell] ANNOUNCE: blank-canvas
Andrew Gill
-
[Haskell] Haskell Weekly News: Issue 297
Daniel Santa Cruz
-
[Haskell] ANNOUNCE: haste-perch
Alberto G. Corona
-
[Haskell] ANN: haddock-library 1.0.0
Mateusz Kowalczyk
-
[Haskell] Second Call for Papers: OCL 2014
Achim D. Brucker
-
[Haskell] HART 2014 - Second Workshop on Haskell And Rewriting Techniques (co-located with ICFP 2014)
Janis Voigtlaender
-
[Haskell] ANN: io-memoize 1.1
Dan Burton
-
[Haskell] Haskell Weekly News: Issue 296
Daniel Santa Cruz
-
[Haskell] ANNOUNCE: vty-5.1 and vty-examples-5.0
Corey O'Connor
-
[Haskell] Final call for talk proposals: HOPE'14 (Workshop on Higher-Order Programming with Effects, affiliated with ICFP'14)
Neelakantan Krishnaswami
-
[Haskell] PROPOSAL: Record field type inference
John Meacham
-
[Haskell] Core libraries committee seeking self-nominations
Edward Kmett
-
[Haskell] ICFP 2014 Student Volunteer Programme
David Van Horn
-
[Haskell] ANNOUNCE: jhc 0.8.2
John Meacham
-
[Haskell] WPTE 2014: Call for Participation
David Sabel
-
[Haskell] UNIF 2014: Call for Participation
Temur Kutsia
-
[Haskell] 2nd CfP: SCSS 2014
Temur Kutsia
-
[Haskell] LOPSTR 2014 - Extended Deadlines
German Vidal
-
[Haskell] CfP Theories for Tool Support in Software/TTSS'14, September, Bertinoro
Clemens Grelck
-
[Haskell] Haskell Weekly News: Issue 295
Daniel Santa Cruz
-
[Haskell] Second Workshop on Haskell And Rewriting Techniques (HART 2014, co-located with ICFP 2014)
Janis Voigtlaender
-
[Haskell] APLAS 2014: Extended deadline
Jacques Garrigue
-
[Haskell] Call for participation: HLPP 2014 - 7th Symposium on High-Level Parallel Programming and Applications
Clemens Grelck
-
[Haskell] ANNOUNCE: Haskell Communities and Activities Report (26th ed., May 2014)
Mihai Maruseac
-
[Haskell] Call for Contributions: Haskell Implementors' Workshop 2014
Jost Berthold
-
[Haskell] ML Family workshop - Extended deadline
oleg
-
[Haskell] HaL-9 registration open
Henning Thielemann
-
[haskell art] HaL-9 registration open
Henning Thielemann
-
[Haskell] ICFP 2014 Student Research Competition: Call for Submissions
David Van Horn
-
[Haskell] First call for papers IFL 2014
publicityifl
-
[Haskell] [JOB] Compiler engineer at Jane Street
Yaron Minsky
-
[Haskell] [GCM 2014] Last CFP : Graph Computation Models
Rachid Echahed
-
[Haskell] Automated YouTube uploads
Henning Thielemann
-
[Haskell] ANNOUNCE: graphviz-2999.17.0.0
Ivan Lazar Miljenovic
-
Re: [Haskell] ANNOUNCE: jhc-0.8.1
Krzysztof Skrzętnicki
-
[Haskell] CFP: WFLP 2014 - Workshop on Functional and (Constraint) Logic Programming
Johannes Waldmann
-
[Haskell] Haskell Symposium: abstract submission
Wouter Swierstra
-
[Haskell] [TFPIE2014] final call for participation
Peter Achten
-
[Haskell] Erlang Workshop 2014: deadline extension
Laura M. Castro
-
[Haskell] CFP: FARM 2014: Deadline extended!
Henrik Nilsson
-
[Haskell] ML Family Workshop -- Last call for presentations
oleg
-
[Haskell] Haskell Weekly News: Issue 294
Daniel Santa Cruz
-
[Haskell] OCL 2014: First Call for Papers
Achim D. Brucker
-
[Haskell] APLAS 2014: Last CFP
Jacques Garrigue
-
[Haskell] GPCE 2014 - Final Call for Papers
Matthew Flatt
-
[Haskell] 3rd CFP: Functional High-Performance Computing 2014 (FHPC'14)
Jost Berthold
-
[Haskell] Deadline extension: The 20th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2014)
Yuan-Fang Li
-
[Haskell] Final CFP: Workshop on Generic Programming (WGP) 2014
José Pedro Magalhães
-
[Haskell] PPDP 2014: 2nd Call for Papers
Jacob Johannsen
-
[Haskell] Reminder: FARM 2014: deadlines approaching!
Henrik Nilsson
-
[Haskell] ANN: hledger-0.23, hledger-web-0.23
Simon Michael
-
[Haskell] Haskell Weekly News: Issue 293
Daniel Santa Cruz
-
[Haskell] Call for talk proposals: HOPE'14 (Workshop on Higher-Order Programming with Effects, affiliated with ICFP'14)
Neelakantan Krishnaswami
-
[Haskell] ANNOUNCE: fgl-5.5.0.0
Ivan Lazar Miljenovic
-
[Haskell] Postdoctoral position in probabilistic programming languages
Norman Ramsey
-
[Haskell] Extended Deadline and Final CFP: WPTE'14, First International Workshop on Rewriting Techniques for Program Transformations and Evaluation
David Sabel
-
[Haskell] Monad.Reader #24 call for copy
Edward Z . Yang
-
[Haskell] [Haskell-cafe] ANN: Monad.Reader Issue 23
Edward Z . Yang
-
[Haskell] [Haskell.org GSoC] Accepted Proposals
Edward Kmett
-
[Haskell] CUFP 2014: Call for Presentations
Edward Kmett
-
[Haskell] ZuriHac 2014 - Updates
Bas van Dijk
-
[Haskell] LOPSTR 2014: Second Call for Papers
German Vidal
-
[Haskell] Haskell Weekly News: Issue 291
Daniel Santa Cruz
-
[Haskell] UTP-2014 call for participation
Jeremy Gibbons
-
[Haskell] ANN: GHC-7.8.2-Eden - Parallel Haskell on multicore and cluster systems
Eden group Marburg - Functional parallel Programming
-
[Haskell] [ANN] quantities 0.3.0
John David Reaver
-
[Haskell] Haskell Symposium: Second call for papers
Wouter Swierstra
-
[Haskell] Oregon PL Summer School: register by May 2nd
Amal Ahmed
-
[Haskell] PhD Position in dependent types, testing & hardware design
Wouter Swierstra
-
[Haskell] DEADLINE is TODAY: 2nd International Summer School on Cyber-Physical Systems
Ylies Falcone
-
[Haskell] Video chair at ICFP
Johan Jeuring
-
[Haskell] APLAS 2014: 2nd Call for papers
Jacques Garrigue
-
[Haskell] ANNOUNCE: GHC version 7.8.2
Austin Seipp
-
[Haskell] PPDP 2014: Call for Papers
Jacob Johannsen
-
[Haskell] ANNOUNCE (2nd call): Applied Functional Programming (AFP) Summerschool 7-18 July 2014, Utrecht, Netherlands
Atze Dijkstra
-
[Haskell] RV 2014, Deadlines extended: abstract April 18, full paper April 25
Runtime Verification
-
[Haskell] Haskell Weekly News: Issue 290
Daniel Santa Cruz
-
[Haskell] ANNOUNCE: GHC version 7.8.1
Austin Seipp
-
[Haskell] Call for papers: The 20th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2014)
Yuan-Fang Li
-
[Haskell] Oregon PL Summer School: call for participation
Amal Ahmed
-
[Haskell] ANN: Budapest Hackathon 2014
Csaba Hruska
-
[Haskell] Second CFP: Higher-order, Typed, Inferred, Strict: ML Family Workshop
oleg
-
[Haskell] Call for Contributions - Haskell Communities and Activities Report, May 2014 edition
Mihai Maruseac
-
[Haskell] ICFEM 2014 Last Call-for-papers
Liu Yang (Asst Prof)
-
[Haskell] Haskell Weekly News: Issue 289
Daniel Santa Cruz
-
[Haskell] Deadline Extension / Last Call for papers: HLPP 2014 - 7th Symposium on High-Level Parallel Programming and Applications
Clemens Grelck
-
[Haskell] Second CFP: Workshop on Generic Programming (WGP) 2014
José Pedro Magalhães
-
[Haskell] [TFPIE2014] final call for papers
Peter Achten
-
[Haskell] [TFP2014] First Call for Participation
Peter Achten
-
[Haskell] Second call-for-papers - Linearity 2014
Mário Florido
-
[Haskell] 2nd International Summer School on Cyber-Physical Systems, GRENOBLE (FRANCE) JULY 7-10, 2014
Ylies Falcone
-
[Haskell] Second CFP: WPTE'14, First International Workshop on Rewriting Techniques for Program Transformations and Evaluation
David Sabel
-
[Haskell] One PhD position for EU students available at the University of Dundee, Scotland.
Marco Gaboardi
-
[Haskell] RV 2014: LAST Call for Papers, Deadline in 1 week
Runtime Verification
-
[Haskell] ANN: Haskell bindings for Z3: package z3 0.3.2 released
Iago Abal
-
[Haskell] Open PhD position in Formal Methods for Software Product Lines at IT University of Copenhagen
Iago Abal
-
[Haskell] AI4FM 2014: Call for Participation
Iain Whiteside
-
[Haskell] 2nd Call For Papers: Erlang Workshop 2014
Laura M. Castro
-
[Haskell] HaL-9 - Call for Contributions
Henning Thielemann
-
[Haskell] [JOB] Summer internships at Jane Street
Yaron Minsky
-
[Haskell] RV 2014: Call for Papers, Deadline in 2 weeks
Runtime Verification
-
[Haskell] ANNOUNCE: wxHaskell 0.90.1.0
Henk-Jan van Tuyl
-
[Haskell] Last call for Google Summer of Code 2014 applications
Shachaf Ben-Kiki
-
[Haskell] CFP ARRAY'14
Mary Sheeran
-
[Haskell] BX2014: Call for participation
Soichiro Hidaka
-
[Haskell] PhD student position at Chalmers
Mary Sheeran
-
[Haskell] RV 2014: 3rd Call for Papers, Deadline in 3 weeks
Runtime Verification
-
[Haskell] Save the date: BayHac '14
Mark Lentczner
-
[Haskell] HaL-9 - regional Haskell meeting in Halle/Saale, Germany, 2014-06-20 - Save the date
Henning Thielemann
-
[Haskell] [UPDATE] 5th Answer Set Programming Competition 2014 - CALL FOR PARTICIPANTS
Francesco Calimeri
-
[Haskell] Haskell Symposium 2014: Call for papers
Wouter Swierstra
-
[Haskell] [TFP2014] Final Call For Papers
Peter Achten
-
[Haskell] Call for Papers: TASE 2014 (Submission deadline has been extended)
Huibiao Zhu
-
[Haskell] Short survey re: use of haskell.org funds to drive development -- please help!
Brent Yorgey
-
[Haskell] ETAPS 2014 2nd call for participation
Tarmo Uustalu
-
[Haskell] Journal of Functional Programming - Call for PhD abstracts
Graham Hutton
-
[Haskell] First CFP: Workshop on Generic Programming (WGP) 2014
José Pedro Magalhães
-
[Haskell] Can Haskell use short floats; i.e. 16 bit floats to save space?
KC
-
[Haskell] [ANN] Rasterific & FontyFruity
Vincent Berthoux
-
[Haskell] CFP: FARM 2014: Functional Art, Music, Modelling and Design
Henrik Nilsson
-
[Haskell] ANNOUNCE: Idris developers' meeting in Gothenburg, April 29-May 2, 2014
David Raymond Christiansen
-
[Haskell] [LOPSTR 2014] First Call for Papers
German Vidal
-
[Haskell] Call For Papers: Erlang Workshop 2014
Laura M. Castro
-
[Haskell] *Deadline extended* Final call for contributions AI4FM 2014
Iain Whiteside
-
[Haskell] APLAS 2014: Call for papers
Jacques Garrigue
-
[Haskell] Call for papers: HLPP 2014 - 7th Symposium on High-Level Parallel Programming and Applications
Clemens Grelck
-
[Haskell] 5 PhD Positions in Formal Methods, Functional Programming, and Information and Software/Web Security at the Chalmers University of Technology, Sweden
Laura Kovacs
-
[Haskell] ANN: Simon Marlow & Edward Kmett @ ZuriHac 2014
Bas van Dijk
-
[Haskell] Fun in the Afternoon @Facebook, March 12 2014: Schedule
Simon Marlow
-
[Haskell] CFP: Graph Computation Models (GCM 2014), York, July 2014
Rachid Echahed
-
[Haskell] RV 2014: 2nd Call for Papers, Deadline in 2 months
Runtime Verification
-
[Haskell] Midlands Graduate School in the Foundations of Computing
Graham Hutton
-
[Haskell] Summer School on Cyber-Physical Systems, GRENOBLE (FRANCE) JULY 7-11, 2014
Ylies Falcone