haskell

Messages by Date

2015/04/01 [Haskell] Haskell Weekly News Kim-Ee Yeoh
2015/04/01 [Haskell] DSLDI: 3rd Workshop on Domain-Specific Language Design and Implementation (EXTENDED DEADLINE) Tijs van der Storm
2015/04/01 [Haskell] Journal of Functional Programming - Call for PhD Abstracts Graham Hutton
2015/03/31 [Haskell] ANNOUNCE: Arion Karun Ramakrishnan
2015/03/27 [Haskell] Mentoring workshop @ ICFP Stephanie Weirich
2015/03/27 [Haskell] AVoCS 2015: Second Call for Papers YuHui Lin
2015/03/27 [Haskell] ANNOUNCE: GHC version 7.10.1 Austin Seipp
2015/03/26 [Haskell] Haskell Weekly News: Issue 322 Semen Trygubenko / Семен Тригубенко
2015/03/26 [Haskell] VSTTE 15, Second Call for Papers Daniel Bundala
2015/03/24 [Haskell] CFP: Erlang Workshop 2015 Hans Svensson
2015/03/24 [Haskell] Haskell-related PhD Studentship at Kent Meng Wang
2015/03/20 [Haskell] Doctoral Teaching Assistantships in CS at Oxford Jeremy Gibbons
2015/03/18 [Haskell] [TFP'15] final call for papers - deadline extended march 31 - Peter Achten
2015/03/17 [Haskell] Haskell Weekly News Kim-Ee Yeoh
2015/03/16 Re: [Haskell] There has been discussion on matrix operations and cache thrashing; does management think using Haskell would lead to cash thrashing? Henning Thielemann
2015/03/16 [Haskell] There has been discussion on matrix operations and cache thrashing; does management think using Haskell would lead to cash thrashing? KC
2015/03/16 [Haskell] Haskell development role at Standard Chartered in London Don Stewart
2015/03/10 [Haskell] CFP: GPCE 2015, 14th International Conference on Generative Programming: Concepts & Experiences, Pittsburgh, Oct. 26/27, 2015 Tomofumi Yuki
2015/03/09 [Haskell] SPLASH 2015: 2nd Call for Contributions: OOPSLA, Onward!, Workshops, Dynamic Languages Symposium Craig Anslow
2015/03/09 [Haskell] ARRAY'15 Call for Papers Mary Sheeran
2015/03/09 [Haskell] IIT’15, IEEE Sponsored, Dubai (01-03 Nov 2015), Call for Papers, Tutorials & Workshops Proposals, Students Posters Leila Fayez Ismail
2015/03/09 [Haskell] CF STUDENT POSTERS for Innovations'15 (No registration fees), Dubai, November 01-03, 2015 Nabeel Al-Qirim
2015/03/08 [Haskell] ANNOUNCE: fgl 5.5.1.0 Ivan Lazar Miljenovic
2015/03/08 [Haskell] Haskell.org Committee Financial Statement 2014 Gershom B
2015/03/05 [Haskell] APLAS 2015: Call for Papers Xinyu Feng
2015/03/05 [Haskell] CFP: Workshop on Generic Programming 2015 - Deadline May 15 Sebastian Erdweg
2015/03/05 [Haskell] [TFPIE 2015] 2nd call for papers Peter Achten
2015/03/04 [Haskell] Haskell Weekly News Kim-Ee Yeoh
2015/03/04 [Haskell] Haskell 2015: 2nd Call for Papers Ben Lippmeier
2015/03/04 Re: [Haskell] Constraint Satisfaction Problem Henning Thielemann
2015/03/03 [Haskell] Constraint Satisfaction Problem K Sai Anirudh
2015/03/03 [Haskell] DSLDI: 3rd Workshop on Domain-Specific Language Design and Implementation Tijs van der Storm
2015/02/28 [Haskell] Haskell Wiki broken links Frantisek Farka
2015/02/27 [Haskell] PhD position in dependent types/functional programming at Chalmers Andreas Abel
2015/02/27 [Haskell] TYPES 2015 final call for contributions Tarmo Uustalu
2015/02/25 [Haskell] CFP - SBLP 2015: 19th Brazilian Symposium on Programming Languages Alberto Pardo
2015/02/25 [Haskell] ETAPS 2016 call for satellite events Tarmo Uustalu
2015/02/24 [Haskell] 7 PhD studentships in Nottingham Graham Hutton
2015/02/23 Re: [Haskell] NFM 2015 - CALL FOR PARTICIPATION Michael Gough
2015/02/23 [Haskell] The Future of Community.Haskell.Org Gershom B
2015/02/23 [Haskell] GHC 7.10 will use Plan FTP Simon Peyton Jones
2015/02/22 [Haskell] PPDP 2015: 2nd call for papers Moreno Falaschi
2015/02/22 [Haskell] LOPSTR 2015: 2nd Call for Papers Moreno Falaschi
2015/02/19 [Haskell] NFM 2015 - CALL FOR PARTICIPATION Klaus Havelund
2015/02/18 [Haskell] Fwd: FARM 2015 Workshop - 1st call for papers and demos Henrik Nilsson
2015/02/15 Re: [Haskell] ANN: New Haskell.org Homepage Now Live Daniil Frumin
2015/02/15 Re: [Haskell] ANN: New Haskell.org Homepage Now Live David Sabel
2015/02/14 [Haskell] ANN: New Haskell.org Homepage Now Live Gershom B
2015/02/13 [Haskell] ETAPS 2015 call for participation Tarmo Uustalu
2015/02/13 [Haskell] TYPES 2015 2nd call for contributions Tarmo Uustalu
2015/02/13 [Haskell] ICFP 2015: Final Call for Papers David Van Horn
2015/02/13 [Haskell] [TFP 2015] 2nd call for papers Peter Achten
2015/02/12 [Haskell] STAF 2015: Joint Call for Papers Vadim Zaytsev
2015/02/11 Re: [Haskell] Rank-N types with (.) composition Simon Peyton Jones
2015/02/11 Re: [Haskell] Rank-N types with (.) composition Henning Thielemann
2015/02/10 Re: [Haskell] Rank-N types with (.) composition Tyson Whitehead
2015/02/10 Re: [Haskell] Rank-N types with (.) composition Dan Doel
2015/02/10 Re: [Haskell] Rank-N types with (.) composition Brandon Allbery
2015/02/10 Re: [Haskell] Rank-N types with (.) composition Tyson Whitehead
2015/02/10 Re: [Haskell] Rank-N types with (.) composition Dan Doel
2015/02/10 Re: [Haskell] Rank-N types with (.) composition David Feuer
2015/02/10 Re: [Haskell] Rank-N types with (.) composition Dan Doel
2015/02/10 Re: [Haskell] Rank-N types with (.) composition David Feuer
2015/02/10 [Haskell] Rank-N types with (.) composition Tyson Whitehead
2015/02/10 Re: [Haskell] [Haskell-cafe] GHC 7.10 Prelude: we need your opinion Simon Peyton Jones
2015/02/10 [Haskell] GHC 7.10 Prelude: we need your opinion Simon Peyton Jones
2015/02/10 [Haskell] First Call for Papers, PxTP 2015 Andrei Paskevich
2015/02/09 [Haskell] 4Yr PostDoc with McBride/Ghani Neil Ghani
2015/02/08 [Haskell] CF STUDENT POSTERS for Innovations'15 (No registration fees), Dubai, November 01-03, 2015 Nabeel Al-Qirim
2015/02/06 Re: [Haskell] [Haskell-cafe] Haskell Weekly News: Issue 316 Takenobu Tani
2015/02/06 Re: [Haskell] [Haskell-cafe] Haskell Weekly News: Issue 316 Brandon Allbery
2015/02/06 [Haskell] PhD Studentships at St Andrews Kevin Hammond
2015/02/05 Re: [Haskell] Haskell Weekly News: Issue 316 Daniel Santa Cruz
2015/02/05 Re: [Haskell] Haskell Weekly News: Issue 316 Kim-Ee Yeoh
2015/02/05 Re: [Haskell] Haskell Weekly News: Issue 316 Simon Peyton Jones
2015/02/04 Re: [Haskell] Haskell Weekly News: Issue 316 Francesco Ariis
2015/02/04 [Haskell] Haskell Weekly News: Issue 316 Daniel Santa Cruz
2015/02/03 [Haskell] LCTES 2015: 2nd Call for Papers Klaus Havelund
2015/02/02 [Haskell] CFP: VSTTE 2015 Daniel Bundala
2015/02/02 Re: [Haskell] Remove from mailing list Sumit Sahrawat, Maths & Computing, IIT (BHU)
2015/02/02 [Haskell] Remove from mailing list Ronald Modesitt
2015/02/02 [Haskell] CFP: Haskell Symposium 2015 Ben Lippmeier
2015/02/01 [Haskell] ANNOUNCE: monad-levels Ivan Lazar Miljenovic
2015/01/28 [Haskell] Contracting Haskell dev role at Standard Chartered Don Stewart
2015/01/27 [Haskell] CFP: WPTE 2015 Second International Workshop on Rewriting Techniques for Program Transformations and Evaluation David Sabel
2015/01/27 Re: [Haskell] Drastic Prelude changes imminent Augustsson, Lennart
2015/01/27 Re: [Haskell] Drastic Prelude changes imminent Ivan Lazar Miljenovic
2015/01/27 [Haskell] Drastic Prelude changes imminent Augustsson, Lennart
2015/01/25 [Haskell] ANN: Halcyon and Haskell on Heroku Miëtek Bak
2015/01/22 [Haskell] [ANNOUNCE] New release of SBV Levent Erkok
2015/01/22 Re: [Haskell] ANN: git-monitor Ben Gamari
2015/01/22 Re: [Haskell] ANN: git-monitor John Wiegley
2015/01/22 [Haskell] ANN: git-monitor John Wiegley
2015/01/21 [Haskell] Haskell Weekly News: Issue 315 Daniel Santa Cruz
2015/01/21 [Haskell] CFP: UNIF 2015 Mateu Villaret
2015/01/21 [Haskell] AVoCS 2015: First Call for Papers YuHui Lin
2015/01/19 [Haskell] CFP: CRV15 - 2nd Competition on Runtime Verification Yliès Falcone
2015/01/19 [Haskell] CFP Bx'15: 4th International Workshop on Bidirectional Transformations Alcino Cunha
2015/01/19 [Haskell] Book announcement: Robert Kowalski, LOGIC FOR PROBLEM SOLVING, REVISITED Jon Sneyers
2015/01/17 [Haskell] CFW: The 5th International Conference on Current and Future Trends of ICT in Healthcare (ICTH) Nabeel Al-Qirim
2015/01/17 [Haskell] CFP" The 5th International Conference on Current and Future Trends of ICT in Healthcare Nabeel Al-Qirim
2015/01/15 [Haskell] Two research assistantships in model-driven engineering and semantic technologies, University of Oxford Jeremy Gibbons
2015/01/15 [Haskell] Mathematics of Program Construction (MPC 2015): final call for papers José Pedro Magalhães
2015/01/14 [Haskell] PhD position Neil Ghani
2015/01/14 [Haskell] TYPES 2015 call for contributions Tarmo Uustalu
2015/01/13 [Haskell] Vacancies: 4 PhD students Software Technology Utrecht University Johan Jeuring
2015/01/07 [Haskell] Haskell Weekly News: Issue 314 Daniel Santa Cruz
2015/01/03 [Haskell] CfP LPNMR 2015 Announcement: Associated Events Francesco Calimeri
2015/01/02 [Haskell] ANNOUNCE: tofromxml Library Robert
2014/12/28 [Haskell] Haskell wiki slowness David Feuer
2014/12/23 [Haskell] ANNOUNCE: GHC version 7.8.4 Austin Seipp
2014/12/22 [Haskell] Google Summer of Code Njagi Mwaniki
2014/12/22 [Haskell] Call for papers LOPSTR 2015 -- 25th International Symposium on Logic-Based Program Synthesis and Transformation -- Siena, Italy Moreno Falaschi
2014/12/22 [Haskell] PhD studentship on dependent type theory for concurrent processes Martin Berger
2014/12/21 Re: [Haskell] ANN: deepseq-bounded, seqaid, leaky Andrew Seniuk
2014/12/19 [Haskell] [TFP 2015] 1st call for papers Peter Achten
2014/12/19 Re: [Haskell] ANN: deepseq-bounded, seqaid, leaky Andrew Seniuk
2014/12/19 [Haskell] ANN: deepseq-bounded, seqaid, leaky Andrew Seniuk
2014/12/17 [Haskell] CFP: TFPIE 2015 Johan Jeuring
2014/12/17 [Haskell] Postdoctoral Position in Functional Programming Tom Schrijvers
2014/12/16 [Haskell] Nominations for John C Reynolds Distinguished Dissertation Award Jeremy Gibbons
2014/12/11 [Haskell] Lambda Days--Call for abstracts John Hughes
2014/12/10 [Haskell] LCTES 2015: First CFP Klaus Havelund
2014/12/10 [Haskell] Haskell Weekly News: Issue 313 Daniel Santa Cruz
2014/12/08 [Haskell] ANNOUNCE: Applied Functional Programming (AFP) Summerschool 6-17 July 2015, Utrecht, Netherlands Atze Dijkstra
2014/12/04 [Haskell] TASE 2015 -- Preliminary Call for Papers Jun PANG
2014/12/04 [Haskell] 2 PostDocs in HoTT Neil Ghani
2014/12/02 [Haskell] 10 PhD studentships in Nottingham Graham Hutton
2014/12/01 [Haskell] Submission deadline coming up 22/12/2014: JFP special issue on Parallel and Concurrent Programming Gabriele Keller
2014/12/01 [Haskell] CfP LPNMR 2015 Announcement: selected papers to appear in AI Journal and TPLP Francesco Calimeri
2014/11/23 [Haskell] PPDP 2015 -- First call for papers Moreno Falaschi
2014/11/20 [Haskell] Call for Participation: BOB 2015 in Berlin Stefan Wehr
2014/11/18 [Haskell] NOTE: the primary webserver is going down for immediate maintenance. Austin Seipp
2014/11/17 [Haskell] Up to 15 fully-funded doctoral studentships in CS at Oxford Jeremy Gibbons
2014/11/17 Re: [Haskell] [Haskell-cafe] ANNOUNCE: Haskell Communities and Activities Report (27th ed., November 2014) Simon Peyton Jones
2014/11/16 [Haskell] ANNOUNCE: Haskell Communities and Activities Report (27th ed., November 2014) Mihai Maruseac
2014/11/16 [Haskell] Call for Presentations: Compose Conference [New York, Jan 30-Feb 1] Gershom B
2014/11/10 [Haskell] RDP 2015 Last Call for Workshops Aleksy Schubert
2014/11/07 [Haskell] ICFP 2015: Call for Papers David Van Horn
2014/11/03 [Haskell] NFM 2015 - deadline extension: Nov 18 Klaus Havelund
2014/10/29 [Haskell] Haskell Weekly News: Issue 311 Daniel Santa Cruz
2014/10/28 [Haskell] Job announcement: formal methods engineer and scientific developer at FireEye Hendrik Tews
2014/10/26 [Haskell] NFM 2015 - final call for papers Klaus Havelund
2014/10/22 [Haskell] Multiple Postdoc Positions on Formal Methods for Cyber Security Liu Yang (Asst Prof)
2014/10/22 [Haskell] Haskell Weekly News: Issue 310 Daniel Santa Cruz
2014/10/21 [Haskell] Postdoc Position in Functional and Constraint Programming at KU Leuven Tom Schrijvers
2014/10/20 [Haskell] RTA 2015 - First Call For Papers Michael Hanus
2014/10/17 [Haskell] ICFEM 2014, Luxembourg, 3-7 November 2014: Last Call for Participation Liu Yang (Asst Prof)
2014/10/16 [Haskell] [JOB] Summer internships at Jane Street Yaron Minsky
2014/10/14 [Haskell] ANN: yi-0.10.0 , the text editor written in Haskell Mateusz Kowalczyk
2014/10/10 [Haskell] Mathematics of Program Construction (MPC 2015): first call for papers José Pedro Magalhães
2014/10/09 Re: [Haskell] [Haskell-cafe] What happened to hugs? Gershom B
2014/10/09 [Haskell] ICFP 2015 Call for Workshop and Co-located Event Proposals David Van Horn
2014/10/08 [Haskell] Haskell Weekly News: Issue 309 Daniel Santa Cruz
2014/10/07 [Haskell] PLT Redex: The Summer School, Call for Participation Robby Findler
2014/10/04 [Haskell] NFM 2015 - 3rd call for papers Klaus Havelund
2014/10/04 [Haskell] Call for Contributions - Haskell Communities and Activities Report, November 2014 edition Mihai Maruseac
2014/10/03 [Haskell] ANN: New version of graphmod (1.2.4) Iavor Diatchki
2014/10/02 [Haskell] Call for Workshop Proposals - SERA 2015 Slim Kallel
2014/10/01 [Haskell] Haskell Weekly News: Issue 308 Daniel Santa Cruz
2014/10/01 [Haskell] Journal of Functional Programming - Call for PhD Abstracts Graham Hutton
2014/10/01 [Haskell] Journal of Functional Programming - Call for PhD Abstracts Graham Hutton
2014/09/29 [Haskell] ETAPS 2015 final call for papers Tarmo Uustalu
2014/09/26 Re: [Haskell] Haskell Digest, Vol 133, Issue 16 Michael Litchard
2014/09/26 Re: [Haskell] Haskell Digest, Vol 133, Issue 16 John Tromp
2014/09/25 [Haskell] 5Yr Research Fellowships Neil Ghani
2014/09/24 [Haskell] Haskell Weekly News: Issue 307 Daniel Santa Cruz
2014/09/24 Re: [Haskell] [ANN] cabal-dev officially deprecated in favor of cabal sandboxes Jonathan Daugherty
2014/09/24 Re: [Haskell] [ANN] cabal-dev officially deprecated in favor of cabal sandboxes Niklas Hambüchen
2014/09/24 [Haskell] Nottingham Research Fellowships (deadline 20th October) Graham Hutton
2014/09/23 [Haskell] JFP special issue on parallel and concurrent FP Gabriele Keller
2014/09/23 [Haskell] [ANN] cabal-dev officially deprecated in favor of cabal sandboxes Jonathan Daugherty
2014/09/23 [Haskell] Last CFP: ACM Symposium on Applied Computing Software Verification and Testing Track Ylies Falcone
2014/09/23 [Haskell] ANNOUNCE: bv-0.3.0 Iago Abal
2014/09/22 [Haskell] Postdoctoral Position in Programming Languages at KU Leuven Tom Schrijvers
2014/09/17 [Haskell] Haskell Weekly News: Issue 306 Daniel Santa Cruz
2014/09/17 [Haskell] ANN: HacBerlin - Haskell Hackathon in Berlin, 26-28 Sep 2014 Stefan Wehr
2014/09/17 [Haskell] [ANN] BOB 2015: Call for Contributions Stefan Wehr
2014/09/16 [Haskell] LPNMR 2015 - Preliminary Call for Papers - 13th International Conference on Logic Programming and Non-monotonic Reasoning Francesco Calimeri
2014/09/15 Re: [Haskell] [Haskell-cafe] [accelerate-haskell] [ANN] accelerate-0.15 Manuel M T Chakravarty
2014/09/15 Re: [Haskell] [ANN] accelerate-0.15 Trevor L. McDonell
2014/09/15 [Haskell] ANN: patch-image Henning Thielemann
2014/09/15 Re: [Haskell] [accelerate-haskell] [ANN] accelerate-0.15 Niklas Hambüchen
2014/09/15 [Haskell] [ANN] accelerate-0.15 Trevor L. McDonell
2014/09/11 [Haskell] PhD position - Computer assisted validation in Erlang German Vidal
2014/09/11 [Haskell] ICFEM 2014 Call for Participation Liu Yang (Asst Prof)
2014/09/10 [Haskell] Haskell Weekly News: Issue 304 Daniel Santa Cruz
2014/09/08 Re: [Haskell] ANNOUNCE: New Hackage release - LargeCardinalHierarchy-0.0.1 Mateusz Kowalczyk
2014/09/08 [Haskell] ANNOUNCE: buildable-0.1.0.0 Ivan Lazar Miljenovic
2014/09/07 [Haskell] ANNOUNCE: New Hackage release - LargeCardinalHierarchy-0.0.1 Stephen Britton
2014/09/06 [Haskell] ANN: Helium now available from Hackage Jurriaan Hage
2014/09/06 [Haskell] APLAS 2014: Call for Participation Jacques Garrigue
2014/09/03 [Haskell] Haskell Weekly News: Issue 304 Daniel Santa Cruz
2014/09/02 [Haskell] ETAPS 2015 2nd call for papers Tarmo Uustalu
2014/09/02 [Haskell] Third call for papers, IFL 2014 publicityifl
2014/09/01 [Haskell] CFP: PRDC2014 Call for Participation liyuanfang
2014/09/01 [Haskell] SCSS 2014: Call for short and work-in-progress papers Temur Kutsia
2014/08/31 [Haskell] ANNOUNCE: hemokit 0.6.3 - Now with OpenVibe compatibility Niklas Hambüchen
2014/08/31 [Haskell] [ANN] haddock-2.15-0, haddock-api-2.15-0, haddock-library-1.1.1 Mateusz Kowalczyk
2014/08/29 [Haskell] ANN: Agda 2.4.2 Andreas Abel