Messages by Date
-
2016/10/14
[Haskell] Call for Scholarship Applications: PLMW at POPL 2017 - Deadline October 23
Dimitrios Vytiniotis via Haskell
-
2016/10/11
[Haskell] [ANN] [Eurocast 2017] Call for papers
Laura M. Castro
-
2016/10/10
[Haskell] Off the Beaten Track 2017: Call for Talk Proposals
Robert Atkey
-
2016/10/10
[Haskell] Journal of Functional Programming - Call for PhD Abstracts
Graham Hutton
-
2016/10/09
[Haskell] Call for Contributions - Haskell Communities and Activities Report, November 2016 edition (31th edition)
Mihai Maruseac
-
2016/10/07
[Haskell] ETAPS 2017 final call for papers
Tarmo Uustalu
-
2016/10/06
[Haskell] Reminder: Workshop on Coalgebra, Horn Clause Logic, and Types
František Farka
-
2016/09/29
[Haskell] PLDI 2017 - Call for Workshops and Tutorials
Tobias Grosser
-
2016/09/28
[Haskell] SPLASH'16 Amsterdam CFP: early registration ends Sept 30
Tijs van der Storm
-
2016/09/26
[Haskell] GHC is a monopoly compiler
Tony Day
-
2016/09/26
Re: [Haskell] Respect
cheater00 cheater00
-
2016/09/25
Re: [Haskell] Respect
cheater00 cheater00
-
2016/09/25
[Haskell] Respect
Simon Peyton Jones via Haskell
-
2016/09/22
[Haskell] Call for Scholarship Applications: Programming Languages Mentoring Workshop - a POPL workshop
Dimitrios Vytiniotis via Haskell
-
2016/09/21
[Haskell] PLDI 2017 call for papers
Tobias Grosser
-
2016/09/19
[Haskell] Doctoral scholarships at Oxford
Jeremy Gibbons
-
2016/09/18
[Haskell] Doctoral or Post-Doctoral Position in Programming Language Theory & Implementation
Tom Schrijvers
-
2016/09/14
[Haskell] [ANN] Call for Contributions: BOB 2017 - Berlin, Feb 24, 2017
Stefan Wehr
-
2016/09/12
[Haskell] SPLASH'16 Amsterdam: Call For Participation
Tijs van der Storm
-
2016/09/09
[Haskell] Haskell eXchange and related events -- Call for Participation
Andres Löh
-
2016/09/06
Re: [Haskell] [Haskell-cafe] [ANN] brittany - haskell source code formatting tool - experimental/alpha
David Feuer
-
2016/09/04
[Haskell] [ANN] brittany - haskell source code formatting tool - experimental/alpha
lennart spitzner
-
2016/09/02
[Haskell] [ANN] lentil - frugal issue tracker
Francesco Ariis
-
2016/09/01
[Haskell] New edition of "Programming in Haskell"
Graham Hutton
-
2016/08/31
Re: [Haskell] [Haskell-cafe] Announcing containers 0.5.8.1
Geraldus
-
2016/08/30
[Haskell] Announcing containers 0.5.8.1
David Feuer
-
2016/08/28
Re: [Haskell] I repeat my Question becaue I not really sure to do it right
Ivan Lazar Miljenovic
-
2016/08/28
Re: [Haskell] I repeat my Question becaue I not really sure to do it right
CCUTM
-
2016/08/28
Re: [Haskell] I repeat my Question becaue I not really sure to do it right
Ivan Lazar Miljenovic
-
2016/08/28
[Haskell] I repeat my Question becaue I not really sure to do it right
CCUTM
-
2016/08/24
[Haskell] Haskell positions at Facebook
Simon Marlow
-
2016/08/22
[Haskell] ETAPS 2017 2nd joint call for papers
Tarmo Uustalu
-
2016/08/19
[Haskell] Postdoctoral position in programming languages at U Tuebingen
Klaus Ostermann
-
2016/08/15
[Haskell] Last Call for Participation: LOPSTR 2016 - 26th Intl. Symp. on Logic-Based Program Synthesis and Transformation
Pedro López García
-
2016/08/09
[Haskell] Call for Participation: LOPSTR 2016 - 26th Intl. Symp. on Logic-Based Program Synthesis and Transformation
pedro.lopez
-
2016/08/09
[Haskell] PhD position in computational music structure analysis using functional programming
Wouter Swierstra
-
2016/08/07
[Haskell] Call for Participation: Functional Art, Music, Modelling and Design (September 24, Nara, Japan)
Michael Sperber
-
2016/08/04
[Haskell] DSLDI 2016: Final Call for Talk Proposals (Extended Deadline)
Eric Walkingshaw
-
2016/08/03
[Haskell] FHPC 2016; CALL FOR PARTICIPATION
Yukiyoshi Kameyama
-
2016/08/03
[Haskell] ANN: unicode-transforms-0.1.0.1 (unicode normalization)
Harendra Kumar
-
2016/08/02
[Haskell] Haskell in Leipzig 2016: Call for Participation
Joachim Breitner
-
2016/08/02
[Haskell] Last Call for Participation: PPDP 2016 - 18th International Symposium on Principles and Practice of Declarative Programming
German Vidal
-
2016/08/01
[Haskell] SPLASH'16 Final CFP: Workshops, SPLASH-E, SRC, PLMW
Tijs van der Storm
-
2016/08/01
[Haskell] Call for Participation: WFLP 2016 and co-located events
Janis Voigtlaender
-
2016/07/28
[Haskell] Call for participation to PLRR 2016 (hosted by CSL)
Christophe Raffalli
-
2016/07/27
[Haskell] Managed Languages & Runtimes Week '16 - Call for Participation
Andrea Rosa
-
2016/07/26
[Haskell] ETAPS 2017 1st call for papers
Tarmo Uustalu
-
2016/07/19
Re: [Haskell] Function to replace given element in list
David Feuer
-
2016/07/19
Re: [Haskell] Function to replace given element in list
Carl Folke Henschen Edman
-
2016/07/19
Re: [Haskell] Function to replace given element in list
David Feuer
-
2016/07/19
Re: [Haskell] Function to replace given element in list
Carl Folke Henschen Edman
-
2016/07/19
Re: [Haskell] Function to replace given element in list
Richard Fung
-
2016/07/19
[Haskell] Function to replace given element in list
Niely Boyken
-
2016/07/18
[Haskell] Call for Participation: ICFP 2016
Lindsey Kuper via Haskell
-
2016/07/18
[Haskell] ANN: blockhash-0.1.0.0
KwangYul Seo
-
2016/07/18
[Haskell] Announcing MuniHac 2016
Michael Adler
-
2016/07/17
[Haskell] OCL 2016: ** Deadline Extension ** Submit Your Paper Until July 24, 2016
Achim D. Brucker
-
2016/07/15
[Haskell] Call For Participation: WADT 2016
JAMES P. (366409)
-
2016/07/14
[Haskell] 14th ACM MobiWac 2016, MALTA
Robson De Grande
-
2016/07/13
Re: [Haskell] [Haskell-cafe] ANN: tagsoup-megaparsec-0.1.0.0
KwangYul Seo
-
2016/07/13
[Haskell] Christopher Strachey centenary announcement
Troy Astarte (PGR)
-
2016/07/12
Re: [Haskell] [Haskell-cafe] ANN: tagsoup-megaparsec-0.1.0.0
Joe Hillenbrand
-
2016/07/12
[Haskell] ANN: tagsoup-megaparsec-0.1.0.0
KwangYul Seo
-
2016/07/11
[Haskell] SPLASH'16: 3rd Combined Call for Contributions to Collocated Events
Tijs van der Storm
-
2016/07/11
[Haskell] 2016 Autumn School on Computational Logic
German Vidal
-
2016/07/10
[Haskell] ANN: enchant-0.1.0.0
KwangYul Seo
-
2016/07/10
[Haskell] ANN: qtah-0.1.0
Bryan Gardiner
-
2016/07/08
[Haskell] Position as lab docent Software Engineering at the University of Amsterdam
Clemens Grelck
-
2016/07/08
[Haskell] 3rd Call for Papers: OCL and Textual Modeling Tools and Textual Model Transformations (OCL 2016) - Less Than 10 Days Left To Submit Your Paper!
Achim D. Brucker
-
2016/07/07
[Haskell] Call for participation: PPDP 2016
German Vidal
-
2016/07/07
[Haskell] DEADLINE EXTENSION: 14th ACM MobiWac 2016, MALTA
Robson De Grande
-
2016/07/05
[Haskell] Haskell in Leipzig 2016: Another Call for Papers (deadline extended)
Joachim Breitner
-
2016/07/05
[Haskell] 2nd CfP: IFL 2016 (28th Symposium on Implementation and Application of Functional Languages)
publicityifl
-
2016/07/04
[Haskell] SIGPLAN Programming Languages Mentoring Workshop @ SPLASH'16
Tijs van der Storm
-
2016/07/01
[Haskell] Position as lab docent Software Engineering at the University of Amsterdam
Clemens Grelck
-
2016/07/01
[Haskell] Call for Papers: 2nd IEEE European Symposium on Security and Privacy (EuroS&P), April 26-28, 2017 in Paris
Christian Rossow
-
2016/06/27
[Haskell] Deadline extended: 21st International Conference on Engineering of Complex Computer Systems (ICECCS 2016), Dubai, United Arab Emirates, November 6-8 2016
liyuanfang
-
2016/06/27
Re: [Haskell] [Haskell-cafe] The Haddock documentation is not showing up on the Hackage
davean
-
2016/06/26
[Haskell] The Haddock documentation is not showing up on the Hackage
KwangYul Seo
-
2016/06/26
[Haskell] Deadline extended: 21st International Conference on Engineering of Complex Computer Systems (ICECCS 2016), Dubai, United Arab Emirates, November 6-8 2016
liyuanfang
-
2016/06/26
[Haskell] [ANN] vty-5.7 released
Jonathan Daugherty
-
2016/06/25
[Haskell] [ANN] vty-5.6 released
Jonathan Daugherty
-
2016/06/23
[Haskell] JLAMP special issue for PLACES (2nd Call for Papers)
Dominic Orchard
-
2016/06/23
[Haskell] Haskell in Leipzig 2016: Final Call for Papers
Joachim Breitner
-
2016/06/21
[Haskell] 14th ACM MobiWac 2016, MALTA
Robson De Grande
-
2016/06/21
[Haskell] Programming in Haskell - 2nd Edition
Graham Hutton
-
2016/06/21
[Haskell] Haskell Developer Position at Scrive
Jonathan Jouty
-
2016/06/21
[Haskell] WFLP 2016 - Final Call for Papers
Janis Voigtlaender
-
2016/06/21
[Haskell] [Caml-list] Call for contribution, PLRR 2016 (Parametricity, Logical Relations & Realizability), EXTENDED DEADLINE
Christophe Raffalli
-
2016/06/21
[Haskell] Haskell eXchange 2016 - call for contributions
Andres Löh
-
2016/06/20
[Haskell] Call for Participation: 3rd Virtual Machine Meetup, September 1-2, Lugano, Switzerland
Andrea Rosa
-
2016/06/20
[Haskell] CFP: ACM MobiWac 2016
RODOLFO IPOLITO MENEGUETTE
-
2016/06/17
[Haskell] WFLP 2016 - Deadline Extension
Janis Voigtlaender
-
2016/06/15
[Haskell] ICPE 2017 - 1st Call for Papers
Andrea Rosa
-
2016/06/15
[Haskell] SPLASH'16: 2nd Combined Call for Contributions to Collocated Events
Tijs van der Storm
-
2016/06/14
[Haskell] 2nd 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/06/14
[Haskell] JTRES 2016, Submission Deadline Extended to July 3
Andrea Rosa
-
2016/06/14
[Haskell] [ANN] Budapest Haskell Hackathon 2016, 6-7th Aug 2016
Gmail
-
2016/06/14
[Haskell] Reminder: 10 days to submit talks to CUFP 2016
Alex Lang
-
2016/06/13
[Haskell] LOPSTR'16: Final Call for Papers and *Deadline Extension*
pedro.lopez
-
2016/06/13
[Haskell] Two Lectureships (Assistant Professorships) at St Andrews
Kevin Hammond
-
2016/06/11
[Haskell] CFP: DEADLINE APPROACHING - MSWiM 2016
Robson De Grande
-
2016/06/09
[Haskell] FHPC'16 - reminder, and deadline extension
David Duke
-
2016/06/09
[Haskell] Haskell in Leipzig 2016: Second Call for Papers
Joachim Breitner
-
2016/06/07
[Haskell] Vacancy: Professor Software technology at Utrecht University
Johan Jeuring
-
2016/06/06
[Haskell] CFP: ACM MobiWac 2016 - November 13 - 17, 2016, Malta
RODOLFO IPOLITO MENEGUETTE
-
2016/06/06
[Haskell] WADT 2016 -- Extended Deadline
JAMES P. (366409)
-
2016/06/06
[Haskell] New Haddock
Dominic Steinitz
-
2016/06/03
[Haskell] 10 open roles in expanding team at Standard Chartered
Don Stewart
-
2016/06/03
[Haskell] PPPJ 2016, Submission Deadline Extended to June 13 AoE
Andrea Rosa
-
2016/06/02
[Haskell] Summer School on Bidirectional Transformations, Oxford, 25-29th July 2016
Jeremy Gibbons
-
2016/06/01
[Haskell] [ANN] Deadline extended! Erlang Workshop 2016
Erlang Workshop
-
2016/06/01
[Haskell] LOPSTR 2016: 2nd Call for Papers
pedro.lopez
-
2016/06/01
[Haskell] DEADLINE EXTENSION: ACM/IEEE MSWiM 2016
RODOLFO IPOLITO MENEGUETTE
-
2016/05/31
[Haskell] ANN: Haskell for Mac trials & educational discount
Manuel M T Chakravarty
-
2016/05/31
[Haskell] SIGPLAN Programming Languages Mentoring Workshop @ ICFP
Lindsey Kuper
-
2016/05/30
[Haskell] 2nd Call for Papers: WFLP 2016 - Update: EPTCS Proceedings
Janis Voigtlaender
-
2016/05/30
[Haskell] DEADLINE EXTENSION: 19th ACM/IEEE MSWiM 2016 - Malta, Nov 13-17, 2016
Robson De Grande
-
2016/05/28
Re: [Haskell] Announce: Haskell Platform 8.0.1
Takenobu Tani
-
2016/05/27
[Haskell] Announce: Haskell Platform 8.0.1
Gershom B
-
2016/05/26
[Haskell] CFP: Workshop on Type-driven Development (TyDe '16)
Wouter Swierstra
-
2016/05/24
[Haskell] 1st CfP: IFL 2016 (28th Symposium on Implementation and Application of Functional Languages)
publicityifl
-
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