Messages by Date
-
2016/03/22
[Haskell] CFP: Workshop on Type-driven Development (TyDe '16)
Wouter Swierstra
-
2016/03/19
[Haskell] CUFP 2016 Call for Presentations
Alex Lang
-
2016/03/15
[Haskell] Second Call for Papers: Special Issue of the SCP on Automated Verification of Critical Systems
Lin, Yuhui
-
2016/03/11
[Haskell] CFP SBLP 2016: 20th Brazilian Symposium on Programming Languages
Andre Rauber Du Bois
-
2016/03/11
[Haskell] CfP WPTE 2016 (affiliated with FSCD 2016)
Horatiu Cirstea
-
2016/03/09
[Haskell] Upcoming deadlines SPLASH'16 in Amsterdam: OOPSLA & Onward!
Tijs van der Storm
-
2016/03/09
[Haskell] ICFP 2016 Call for Sponsorships
Lindsey Kuper
-
2016/03/07
[Haskell] [ANN] brick-users discussion list
Jonathan Daugherty
-
2016/03/04
[Haskell] Call for Participation: PLACES 2016
Dominic Orchard
-
2016/03/02
[Haskell] ICFP 2016 Final Call for Papers
Lindsey Kuper
-
2016/03/02
[Haskell] First Call For Papers -- Erlang Workshop 2016
Erlang Workshop
-
2016/03/01
Re: [Haskell] Haskell Summer of Code
Dominic Steinitz
-
2016/03/01
[Haskell] [TFP 2016] 2nd call for papers
Peter Achten
-
2016/02/29
[Haskell] Haskell Summer of Code
Edward Kmett
-
2016/02/26
[Haskell] ANNOUNCE: Applied Functional Programming (AFP) Summerschool 4-15 July 2016, Utrecht, Netherlands
Atze Dijkstra
-
2016/02/26
[Haskell] Call for Participation: MSFP 2016
Bob Atkey
-
2016/02/25
[Haskell] PPDP 2016: First Call for Papers
German Vidal
-
2016/02/19
[Haskell] ANN: tasty-discover
lwm
-
2016/02/19
[Haskell] ARRAY 2016 Call for Papers
Clemens Grelck
-
2016/02/18
[Haskell] [ICGT2016] Last CFP: Int.Conf. Graph Transformation, Vienna, July 2016
Rachid Echahed
-
2016/02/18
[Haskell] Call for Haskell.org committee self-nominations
John Wiegley
-
2016/02/18
[Haskell] Call for Papers and Demos: Functional Art, Music, Modelling and Design
Michael Sperber
-
2016/02/16
[Haskell] [TFPIE 2016] 1st call for papers
Peter Achten
-
2016/02/12
[Haskell] Call for Papers (UTP 2016)
Huibiao Zhu
-
2016/02/11
[Haskell] ETAPS 2016 call for participation
Tarmo Uustalu
-
2016/02/10
[Haskell] ANN: remote-json, a JSON RPC library, released
Andrew Gill
-
2016/02/10
[Haskell] Postdoctoral position in Functional, Constraint and/or Logic Programming
Tom Schrijvers
-
2016/02/08
[Haskell] ICFP 2016 Second Call for Papers
Lindsey Kuper
-
2016/02/08
[Haskell] Call for PhD students: Logical Methods in Computer Science (Vienna, Austria)
Igor Konnov
-
2016/02/08
[Haskell] ANNOUNCE: hoppy, qtah
Bryan Gardiner
-
2016/02/02
[Haskell] PROHA 2016 (@ CGO'16): Early Registration Deadline (Feb 3)
Salvador Tamarit
-
2016/02/02
[Haskell] [TFP 2016] 1st call for papers
Peter Achten
-
2016/01/30
[Haskell] ANNOUNCE: call-haskell-from-anything 1.0
Niklas Hambüchen
-
2016/01/29
[Haskell] Haskell Weekly News
Kim-Ee Yeoh
-
2016/01/27
[Haskell] ETAPS 2017 call for satellite events
Tarmo Uustalu
-
2016/01/26
[Haskell] NFM 2016 - third call for papers
Klaus Havelund
-
2016/01/26
[Haskell] ANNOUNCE: Haskell for Mac, 1.1
Manuel M T Chakravarty
-
2016/01/26
[Haskell] 2nd CFP. Int. Conf. Graph Transformation, Vienna July 2016
Rachid Echahed
-
2016/01/22
[Haskell] Haskell Weekly News
Kim-Ee Yeoh
-
2016/01/19
[Haskell] 1st Call for Contributions for SPLASH'16: OOPSLA, Onward!, Workshops, DLS, SLE, GPCE
Tijs van der Storm
-
2016/01/18
[Haskell] Haskell dev roles with Strats at Standard Chartered
Don Stewart
-
2016/01/16
[Haskell] CfP: Workshop on Program Transformation for Programmability in Heterogeneous Architectures (Co-located with CGO16); Deadline Jan 22 [Extended]
Salvador Tamarit
-
2016/01/15
[Haskell] Haskell Weekly News
Kim-Ee Yeoh
-
2016/01/14
[Haskell] Call for Participation: BOB 2016 (February 19, Berlin)
Stefan Wehr
-
2016/01/13
[Haskell] Reminder: Call for papers EOOLT 2016
Henrik Nilsson
-
2016/01/12
[Haskell] MSFP 2016: Final Call for Papers
Bob Atkey
-
2016/01/10
[Haskell] ANN: true-name 0.1.0.0 released
Liyang HU
-
2016/01/09
[Haskell] CfP: Workshop on Program Transformation for Programmability in Heterogeneous Architectures (Co-located with CGO16); Deadline Jan 15
Salvador Tamarit
-
2016/01/08
[Haskell] Haskell Weekly News
Kim-Ee Yeoh
-
2016/01/05
[Haskell] ETAPS 2016 satellite workshops joint call for papers
Tarmo Uustalu
-
2016/01/05
[Haskell] NFM 2016 - second call for papers
Klaus Havelund
-
2016/01/05
[Haskell] MSFP 2016: Call for Papers
Bob Atkey
-
2016/01/04
[Haskell] Call for Papers (TASE 2016)
Huibiao Zhu
-
2016/01/03
[Haskell] Call for Papers (UTP 2016)
Huibiao Zhu
-
2016/01/03
[Haskell] LSFA 2016 - First Call for Papers
Mário Florido
-
2016/01/02
[Haskell] SPLASH'16: 1st Call for Workshop Proposals
Tijs van der Storm
-
2015/12/31
Re: [Haskell] ANN: HaskRel; Employing GHC as a DBMS with support for the relational algebra
Jeremy Shaw
-
2015/12/30
Re: [Haskell] ANN: HaskRel; Employing GHC as a DBMS with support for the relational algebra
AntC
-
2015/12/30
[Haskell] ANN: wxInstall Achelanne and wxHaskell 0.92.2.0
Henk-Jan van Tuyl
-
2015/12/23
[Haskell] CfP: Workshop on Program Transformation for Programmability in Heterogeneous Architectures (Co-located with CGO16); Deadline Jan 15
Salvador Tamarit
-
2015/12/17
[Haskell] Associate or Full Professorship in Programming Languages at Oxford
Jeremy Gibbons
-
2015/12/16
[Haskell] Research internship at Facebook
Simon Marlow
-
2015/12/15
[Haskell] Postdoctoral and PhD positions in LFCS on graph databases, provenance, and programming languages
James Cheney
-
2015/12/14
[Haskell] PhD scholarship on foundations of meta-programming
Martin Berger
-
2015/12/14
[Haskell] [NL-FP 2016] Final CFP: Dutch Functional Programming Day 2016
Atze Dijkstra
-
2015/12/10
[Haskell] FLOPS 2016: Call for Participation and Posters/Demos
Oleg
-
2015/12/09
[Haskell] ANNOUNCE: Haskell Platform 7.10.3
Gershom B
-
2015/12/08
[Haskell] MSFP 2016: Call for Papers
Bob Atkey
-
2015/12/07
Re: [Haskell] [Haskell-beginners] DOOM rewritten in the Haskell programming language.
Henning Thielemann
-
2015/12/07
Re: [Haskell] [Haskell-beginners] DOOM rewritten in the Haskell programming language.
Patrick Redmond
-
2015/12/07
Re: [Haskell] [Haskell-beginners] DOOM rewritten in the Haskell programming language.
Sumit Sahrawat, Maths & Computing, IIT (BHU)
-
2015/12/07
Re: [Haskell] [Haskell-beginners] DOOM rewritten in the Haskell programming language.
Alexander Berntsen
-
2015/12/07
Re: [Haskell] ICFP 2016 Call for Papers
Lindsey Kuper
-
2015/12/06
Re: [Haskell] [Haskell-beginners] DOOM rewritten in the Haskell programming language.
Henk-Jan van Tuyl
-
2015/12/05
[Haskell] ICFP 2016 Call for Papers
Lindsey Kuper
-
2015/11/30
[Haskell] First Call for Papers: Special Issue of the SCP on Automated Verification of Critical Systems
Lin, Yuhui
-
2015/11/30
[Haskell] JFP Issue on Dependently typed programming: second call for papers
Wouter Swierstra
-
2015/11/27
[Haskell] Research Fellows in Computing at Oxford Brookes University
Clare Martin
-
2015/11/27
[Haskell] PhD studentships at the Functional Programming Lab in Nottingham
Henrik Nilsson
-
2015/11/27
[Haskell] CFP: EOOLT 2016
Henrik Nilsson
-
2015/11/25
[Haskell] NFM 2016 - first call for papers
Klaus Havelund
-
2015/11/23
[Haskell] [APLS2015] 2nd Call for Participation
Luminous Fennell
-
2015/11/23
Re: [Haskell] Haskell Digest, Vol 147, Issue 9
Cool
-
2015/11/23
[Haskell] [NL-FP 2016] 2nd CFP: Dutch Functional Programming Day 2016
Atze Dijkstra
-
2015/11/22
[Haskell] ANN: HaskRel; Employing GHC as a DBMS with support for the relational algebra
Thor Michael Støre
-
2015/11/22
[Haskell] CFP: 25th Int'l Conf. on Compiler Construction (CC) - Final Call
Manuel Hermenegildo
-
2015/11/22
[Haskell] SIGPLAN John C Reynolds Doctoral Dissertation Award
Jeremy Gibbons
-
2015/11/21
[Haskell] NNOUNCE: Haskell Communities and Activities Report (29th ed., November 2015)
Mihai Maruseac
-
2015/11/20
[Haskell] ANN: cacophony 0.4.0, pipes-cacophony 0.1.2
John Galt
-
2015/11/20
Re: [Haskell] [Coq-Club] ANN: linearscan, linearscan-hoopl 1.0.0
John Wiegley
-
2015/11/20
[Haskell] On Hiatus Until January 2016: Haskell Weekly News
Kim-Ee Yeoh
-
2015/11/20
[Haskell] ANN: linearscan, linearscan-hoopl 1.0.0
John Wiegley
-
2015/11/20
[Haskell] Call for papers: PLACES 2016
Dominic Orchard
-
2015/11/13
[Haskell] Registration now open: Haskell in Leipzig (Germany) December 4/5
Johannes Waldmann
-
2015/11/09
[Haskell] Leuven Haskell User Group: Season 2
Tom Schrijvers
-
2015/11/07
[Haskell] Call for Papers (UTP 2016)
Huibiao Zhu
-
2015/11/03
[Haskell] CFP: 25th Int'l Conf. on Compiler Construction (CC) - *new deadline*
Manuel Hermenegildo
-
2015/11/02
[Haskell] ANN: dimensional-1.0 for statically checked physical dimensions
Douglas McClean
-
2015/11/02
[Haskell] ANN: cereal-0.5.0.0
Trevor Elliott
-
2015/10/30
[Haskell] Phd position starting in April 2016
Clare Martin
-
2015/10/29
[Haskell] 2nd CfP: Haskell in Leipzig (Germany) 2015
Johannes Waldmann
-
2015/10/28
[Haskell] Faculty Position in Secure and Trustworthy Cyberspace
Andrew Tolmach
-
2015/10/28
[Haskell] Call for Contributions: BOB 2016 - Berlin, Feb 19, 2016
Stefan Wehr
-
2015/10/23
[Haskell] ICFP 2016 Call for Workshop and Co-located Event Proposals
Lindsey Kuper
-
2015/10/20
[Haskell] PhD and Postdoc Positions - KWARC, Jacobs University Bremen
Michael Kohlhase
-
2015/10/19
[Haskell] Final Call for Scholarship Applications: Programming Languages Mentoring Workshop - a POPL workshop (Deadline: October 23!)~
Dimitrios Vytiniotis
-
2015/10/19
[Haskell] [ICGT2016] CFP: Int.Conf. Graph Transformation, Vienna, July 2016
Rachid Echahed
-
2015/10/19
[Haskell] [NL-FP 2016] Announcement: Dutch Functional Programming Day 2016
Atze Dijkstra
-
2015/10/11
[Haskell] Final Call for Haskell Prime language committee Nominations!
Herbert Valerio Riedel
-
2015/10/09
[Haskell] ANNOUNCE: unordered-graphs
Ivan Lazar Miljenovic
-
2015/10/09
[Haskell] CfP: Haskell in Leipzig (Germany), 4/5 December 2015
Johannes Waldmann
-
2015/10/09
[Haskell] [APLS2015] Call for Participation: Workshop on Advances in Programming Languages and Systems
Luminous Fennell
-
2015/10/08
[Haskell] Learning Haskell — a new tutorial
Manuel M T Chakravarty
-
2015/10/08
[Haskell] ANN: wxInstall Abriline and wxHaskell 0.92.1.0
Henk-Jan van Tuyl
-
2015/10/06
[Haskell] Journal of Functional Programming - Call for PhD Abstracts
Graham Hutton
-
2015/10/05
[Haskell] CFP: Special issue of JFP on dependently typed programming
Wouter Swierstra
-
2015/10/02
[Haskell] Call for Contributions - Haskell Communities and Activities Report, November 2015 edition (29th edition)
Mihai Maruseac
-
2015/09/30
[Haskell] Call for Scholarship Applications: Programming Languages Mentoring Workshop - a POPL workshop (Deadline: October 23!)
Dimitrios Vytiniotis
-
2015/09/29
[Haskell] Haskell Weekly News
Kim-Ee Yeoh
-
2015/09/29
[Haskell] Proof Engineers Wanted
Gerwin Klein
-
2015/09/28
[Haskell] ETAPS 2016 final call for papers
Tarmo Uustalu
-
2015/09/25
[Haskell] FSCD'16 Preliminary Call for Papers
Hugo Herbelin
-
2015/09/25
Re: [Haskell] ANN: CfN for new Haskell Prime language committee
Gershom B
-
2015/09/25
[Haskell] 2nd CfP: SCSS 2016
Temur Kutsia
-
2015/09/24
[Haskell] ANN: CfN for new Haskell Prime language committee
Herbert Valerio Riedel
-
2015/09/24
[Haskell] ANNOUNCE: polymap 0.1.0.1
David Farrell
-
2015/09/21
[Haskell] Ph.D. Position on Analysis of Energy Consumption of High-Level Programs
Morten Rhiger
-
2015/09/21
[Haskell] SPLASH 2015 - 2nd Call For Participation
Tijs van der Storm
-
2015/09/18
[Haskell] Call for Contributions: BOB 2016 - Berlin, Feb 19, 2016
Stefan Wehr
-
2015/09/14
[Haskell] [PADL 2016] Final call for papers (Deadline extended)
John Reppy
-
2015/09/13
Re: [Haskell] [Haskell-cafe] ANNOUNCE: ioctl 0.0.1
Alberto G. Corona
-
2015/09/10
[Haskell] Senior Haskell developer roles at Standard Chartered, Singapore
Don Stewart
-
2015/09/09
Re: [Haskell] [Haskell-cafe] ANN: Creation of Haskell-Community list for Haskell.org Community Infrastructure Discussions
Gershom B
-
2015/09/09
Re: [Haskell] [Haskell-cafe] ANN: Creation of Haskell-Community list for Haskell.org Community Infrastructure Discussions
Simon Peyton Jones
-
2015/09/08
[Haskell] ANN: Creation of Haskell-Community list for Haskell.org Community Infrastructure Discussions
Gershom B
-
2015/09/06
[Haskell] ANNOUNCE: graphviz-2999.18.0.0
Ivan Lazar Miljenovic
-
2015/09/02
[Haskell] ETAPS 2016 2nd call for papers
Tarmo Uustalu
-
2015/09/02
Re: [Haskell] ETA on 7.10.3?
Ben Gamari
-
2015/09/02
Re: [Haskell] ETA on 7.10.3?
David Banas
-
2015/09/02
Re: [Haskell] ETA on 7.10.3?
Ben Gamari
-
2015/09/01
Re: [Haskell] ETA on 7.10.3?
Erik de Castro Lopo
-
2015/09/01
[Haskell] ETA on 7.10.3?
David Banas
-
2015/09/01
[Haskell] ANNOUNCE: GPipe 2.0 released
Tobias Bexelius
-
2015/08/31
[Haskell] Open Postdoc Position in formal methods applied to timed systems
Ezio Bartocci
-
2015/08/31
[Haskell] CPS Week 2016: CALL FOR WORKSHOP AND TUTORIAL PROPOSALS
Ezio Bartocci
-
2015/08/30
[Haskell] PEPM 2016: Final Call for Papers
Martin Erwig
-
2015/08/30
[Haskell] Final CFP: FLOPS 2016, International Symposium on Functional and Logic Programming
Oleg
-
2015/08/28
[Haskell] ANN: wxHaskell 0.92
Henk-Jan van Tuyl
-
2015/08/27
[Haskell] Haskell hacking internships at Los Alamos National Laboratory (Spring 2016, undergraduate)
Kei Davis
-
2015/08/25
[Haskell] ANNOUNCE: Haskell for Mac, 1.0
Manuel M T Chakravarty
-
2015/08/24
[Haskell] SPLASH 2015 - Call For Participation
Tijs van der Storm
-
2015/08/24
Re: [Haskell] ANNOUNCE: brick 0.2 released
Jonathan Daugherty
-
2015/08/24
Re: [Haskell] ANNOUNCE: brick 0.2 released
Christopher Allen
-
2015/08/24
[Haskell] ANNOUNCE: brick 0.2 released
Jonathan Daugherty
-
2015/08/24
[Haskell] LPNMR 2015: Call for participation - Hotel Special rate DEADLINE Sep. 2nd, 2015
Francesco Calimeri
-
2015/08/24
[Haskell] CFP: 25th International Conference on Compiler Construction (CC)
Manuel Hermenegildo
-
2015/08/21
[Haskell] Haskell Weekly News
Kim-Ee Yeoh
-
2015/08/17
[Haskell] LPNMR 2015 - Call for participation
Francesco Calimeri
-
2015/08/17
[Haskell] ETAPS 2016 call for papers
Tarmo Uustalu
-
2015/08/16
[Haskell] ANNOUNCE: broker-haskell v0.1
David Banas
-
2015/08/15
Re: [Haskell] libiconv trouble?
David Banas
-
2015/08/15
Re: [Haskell] libiconv trouble?
Brandon Allbery
-
2015/08/15
[Haskell] libiconv trouble?
David Banas
-
2015/08/15
Re: [Haskell] Redundant entries in .cabal file?
Andrew Morris
-
2015/08/15
[Haskell] Redundant entries in .cabal file?
David Banas
-
2015/08/11
Re: [Haskell] ANNOUNCE: brick 0.1 released (deprecates vty-ui)
Jonathan Paugh
-
2015/08/11
[Haskell] ANNOUNCE: brick 0.1 released (deprecates vty-ui)
Jonathan Daugherty
-
2015/08/11
[Haskell] Final call for papers for IFL 2015
Jurriaan Hage
-
2015/08/10
[Haskell] [PADL 2016] First call for papers
John Reppy
-
2015/08/07
[Haskell] Fwd: Haskell Weekly News
Kim-Ee Yeoh
-
2015/08/05
Re: [Haskell] ANNOUNCE: Haskell Platform 7.10.2-a (Mark Lentczner)
Brandon Allbery
-
2015/08/05
Re: [Haskell] ANNOUNCE: Haskell Platform 7.10.2-a (Mark Lentczner)
Haisheng Wu
-
2015/08/05
Re: [Haskell] ANNOUNCE: Haskell Platform 7.10.2-a (Mark Lentczner)
??????
-
2015/08/04
Re: [Haskell] ANNOUNCE: Haskell Platform 7.10.2-a
Mark Lentczner
-
2015/08/03
[Haskell] AVoCS 2015: Final Call for Research Idea Papers & Participation
Lin, Yuhui
-
2015/08/01
[Haskell] PEPM 2016: Call for Papers
Martin Erwig
-
2015/07/31
Re: [Haskell] ANNOUNCE: Haskell Platform 7.10.2
Sven Panne
-
2015/07/31
Re: [Haskell] ANNOUNCE: Haskell Platform 7.10.2
Sven Panne
-
2015/07/31
[Haskell] SPLASH 2015 - Call for Student Volunteers
Craig Anslow
-
2015/07/30
[Haskell] ANNOUNCE: Haskell Platform 7.10.2
Mark Lentczner
-
2015/07/30
Re: [Haskell] [Haskell-cafe] ANNOUNCE: GHC version 7.10.2
Ben Gamari
-
2015/07/30
Re: [Haskell] [Haskell-cafe] ANNOUNCE: GHC version 7.10.2
Brandon Allbery
-
2015/07/30
[Haskell] Haskell
lel416
-
2015/07/30
Re: [Haskell] ANNOUNCE: GHC version 7.10.2
Ben Gamari
-
2015/07/30
[Haskell] Erlang Workshop: Call for participation
Hans Svensson
-
2015/07/30
Re: [Haskell] [Haskell-cafe] ANNOUNCE: GHC version 7.10.2
Ben Gamari
-
2015/07/29
Re: [Haskell] ANNOUNCE: GHC version 7.10.2
Andrés Sicard-Ramírez
-
2015/07/29
Re: [Haskell] ANNOUNCE: GHC version 7.10.2
Mateusz Kowalczyk
-
2015/07/29
Re: [Haskell] ANNOUNCE: GHC version 7.10.2
Ben Gamari
-
2015/07/29
Re: [Haskell] ANNOUNCE: GHC version 7.10.2
Andrés Sicard-Ramírez
-
2015/07/29
[Haskell] ANNOUNCE: GHC version 7.10.2
Ben Gamari
-
2015/07/23
[Haskell] (no subject)
lel416
-
2015/07/23
[Haskell] [LPNMR 2015] EARLY REGISTRATION CLOSING SOON - Call for Participation (student support grants: NEWS)
Francesco Calimeri
-
2015/07/22
[Haskell] ANNOUNCE: fgl-5.5.2.0 and fgl-arbitrary-0.2.0.0
Ivan Lazar Miljenovic
-
2015/07/21
[Haskell] Haskell developer position in research group
Ward C Wheeler
-
2015/07/18
[Haskell] ICFP 2015 Call for Participation
David Van Horn
-
2015/07/17
[Haskell] SPLASH 2015 - Workshops Combined Call for Papers
Craig Anslow
-
2015/07/17
[Haskell] OCL 2015: ** Deadline Extension ** Submit Your Paper Until July 26, 2015
Achim D. Brucker
-
2015/07/17
[Haskell] AVoCS 2015: Joint Call for Research Idea Papers & Participation
Lin, Yuhui
-
2015/07/16
[Haskell] IAG is hiring Haskell programmers
Patryk Zadarnowski