haskell

Messages by Date

2016/05/24 [Haskell] Dev/tools/git/Haskell role in London Don Stewart
2016/05/23 [Haskell] CFP: ACM MobiWac 2015 - November 13 - 17, 2016, Malta Robson De Grande
2016/05/23 [Haskell] Call for papers: 21th International Conference on Engineering of Complex Computer Systems (ICECCS 2016), Dubai, United Arab Emirates, November 6-8 2016 liyuanfang
2016/05/22 [Haskell] ANNOUNCE: testbench-0.1.0.0 Ivan Lazar Miljenovic
2016/05/22 [Haskell] [ANNOUNCE] GHC 8.0.1 is available! Ben Gamari
2016/05/19 [Haskell] DSLDI 2016: Call for Talk Proposals Eric Walkingshaw
2016/05/19 [Haskell] ANNOUNCE: Sifflet 2.3.0 - recursion learning aid / visual programming language gdweber
2016/05/19 [Haskell] CFP (Approaching Deadline): IEEE DS-RT 2016 - Special Session tracks Robson De Grande
2016/05/19 [Haskell] [ANN] Final Call for Papers: Erlang Workshop 2016 -- Submission deadline (3 June) approaching Erlang Workshop
2016/05/18 [Haskell] ANNOUNCE: Haskell Communities and Activities Report (30th ed., May 2016) Mihai Maruseac
2016/05/18 [Haskell] CFP (Approaching Deadline): 19th ACM/IEEE MSWiM 2016 Robson De Grande
2016/05/18 [Haskell] SPLASH'16: 1st Call for Contributions to Collocated Events Tijs van der Storm
2016/05/18 [Haskell] Call for contribution, PLRR 2016 (Parametricity, Logical Relations & Realizability), CSL affiliated workshop Christophe Raffalli
2016/05/16 [Haskell] [Final CFP] Haskell 2016 Geoffrey Mainland
2016/05/13 [Haskell] Call for Papers: WFLP 2016 - Workshop on Functional and (Constraint) Logic Programming Janis Voigtlaender
2016/05/11 [Haskell] SPLASH-I 2016: Call for Talk Proposals! Tijs van der Storm
2016/05/10 [Haskell] SPLASH 2016: Call for Sponsorships Tijs van der Storm
2016/05/10 [Haskell] Trustworthy Refactoring project: Research Associate Positions in Refactoring Functional Programs and Formal Verification (for CakeML) Simon Thompson
2016/05/09 [Haskell] Summer of Haskell Mentors Edward Kmett
2016/05/09 [Haskell] 2-year postdoctoral position in programming languages at LFCS James Cheney
2016/05/09 [Haskell] CFP: WADT 2016 JAMES P. (366409)
2016/05/09 [Haskell] LPTI'16 Call for Papers Frantisek Farka
2016/05/05 [Haskell] NFM 2016 - Call for participation Klaus Havelund
2016/05/04 [Haskell] PPDP 2016 - Last Call for Papers German Vidal
2016/05/03 [Haskell] Call for Papers: OCL and Textual Modeling Tools and Textual Model Transformations (OCL 2016) - Submit Your Paper Until July 17, 2016 Achim D. Brucker
2016/05/02 [Haskell] [TFP'16] call for participation Peter Achten
2016/05/01 Re: [Haskell] [Haskell-cafe] Call for Contributions - Haskell Communities and Activities Report, May 2016 edition (30th edition) Ben Gamari
2016/04/30 [Haskell] LOPSTR 2016 Call for Papers Manuel Hermenegildo
2016/04/29 [Haskell] Final Call for Papers: Special Issue of the SCP on Automated Verification of Critical Systems Lin, Yuhui
2016/04/28 [Haskell] ANN: Haskell Prime 2020 committee has formed Herbert Valerio Riedel
2016/04/27 [Haskell] Summer of Haskell - Now Accepting Applications! Gershom B
2016/04/26 [Haskell] [ANN] Erlang Workshop 2016 - CFP Erlang Workshop
2016/04/25 [Haskell] Postdoc ad: Domain-specific languages Kathleen Fisher
2016/04/22 [Haskell] JLAMP special issue for PLACES Dominic Orchard
2016/04/22 [Haskell] ANN: shine and shine-varying: Lightweight declarative 2D graphics à la gloss using GHCJS (and a FRP interface) Francesco Gazzetta
2016/04/22 [Haskell] Haskell in Leipzig 2016: Call for Papers Joachim Breitner
2016/04/21 [Haskell] ANN: New Haskell.org committee members John Wiegley
2016/04/19 [Haskell] Functional Art, Music, Modelling and Design 2016: 2nd Call For Papers Michael Sperber
2016/04/18 [Haskell] JTRES 2016 Call for Papers Andrea Rosa
2016/04/13 [Haskell] LumiGuide is hiring Bas van Dijk
2016/04/12 [Haskell] Paul Hudak Memorial Symposium John Peterson
2016/04/12 [Haskell] [TFP 2016] extended deadline, april 25 2016, final call for papers Peter Achten
2016/04/11 [Haskell] JTRES 2016 Call for Papers Andrea Rosa
2016/04/08 [Haskell] ARRAY 2016: Final call for papers Clemens Grelck
2016/04/07 [Haskell] 18th International Symposium on Principles and Practice of Declarative Programming PPDP 2016 - 2nd call for papers German Vidal
2016/04/05 [Haskell] Journal of Functional Programming - Call for PhD Abstracts Graham Hutton
2016/04/04 [Haskell] CFP SBLP 2016: 20th Brazilian Symposium on Programming Languages *** Deadline for Abstracts Approaching*** Andre Rauber Du Bois
2016/04/04 [Haskell] Managed Languages Conference: PPPJ 2016 Call for Papers Andrea Rosa
2016/04/03 [Haskell] Call for Contributions - Haskell Communities and Activities Report, May 2016 edition (30th edition) Mihai Maruseac
2016/04/03 [Haskell] CFP: Functional High Performance Computing 2016 David Duke
2016/04/01 [Haskell] Haskell hacking internships at LANL (Fall 2016, undergraduate) Kei Davis
2016/04/01 [Haskell] [TFP 2016] Final call for papers Peter Achten
2016/04/01 [Haskell] ARRAY 2016 extended deadline: April 11 Clemens Grelck
2016/03/31 [Haskell] Postdoc ad: quantum-computing programming languages Scott Pakin
2016/03/28 [Haskell] [2nd CFP] Haskell Symposium 2016 Geoffrey Mainland
2016/03/24 [Haskell] ARRAY 2016 2nd Call for Papers Clemens Grelck
2016/03/23 [Haskell] Three Haskell dev roles at Standard Chartered Don Stewart
2016/03/22 [Haskell] Haskell-related PhD Studentship at Kent Meng Wang
2016/03/22 [Haskell] [TFPIE 2016] 2nd call for papers Peter Achten
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