haskell  

Messages by Thread

• • Re: [Haskell] ANN: New Haskell.org Homepage Now Live Daniil Frumin
• [Haskell] ETAPS 2015 call for participation Tarmo Uustalu
• [Haskell] TYPES 2015 2nd call for contributions Tarmo Uustalu
• [Haskell] ICFP 2015: Final Call for Papers David Van Horn
• [Haskell] [TFP 2015] 2nd call for papers Peter Achten
• [Haskell] STAF 2015: Joint Call for Papers Vadim Zaytsev
• [Haskell] Rank-N types with (.) composition Tyson Whitehead
  • Re: [Haskell] Rank-N types with (.) composition David Feuer
  • Re: [Haskell] Rank-N types with (.) composition Dan Doel
  • Re: [Haskell] Rank-N types with (.) composition David Feuer
  • Re: [Haskell] Rank-N types with (.) composition Dan Doel
  • Re: [Haskell] Rank-N types with (.) composition Tyson Whitehead
  • Re: [Haskell] Rank-N types with (.) composition Tyson Whitehead
  • Re: [Haskell] Rank-N types with (.) composition Brandon Allbery
  • Re: [Haskell] Rank-N types with (.) composition Dan Doel
  • Re: [Haskell] Rank-N types with (.) composition Simon Peyton Jones
  • Re: [Haskell] Rank-N types with (.) composition Henning Thielemann
• [Haskell] GHC 7.10 Prelude: we need your opinion Simon Peyton Jones
  • Re: [Haskell] [Haskell-cafe] GHC 7.10 Prelude: we need your opinion Simon Peyton Jones
• [Haskell] First Call for Papers, PxTP 2015 Andrei Paskevich
• [Haskell] 4Yr PostDoc with McBride/Ghani Neil Ghani
• [Haskell] CF STUDENT POSTERS for Innovations'15 (No registration fees), Dubai, November 01-03, 2015 Nabeel Al-Qirim
  • [Haskell] CF STUDENT POSTERS for Innovations'15 (No registration fees), Dubai, November 01-03, 2015 Nabeel Al-Qirim
  • [Haskell] CF STUDENT POSTERS for Innovations'15 (No registration fees), Dubai, November 01-03, 2015 Nabeel Al-Qirim
  • [Haskell] CF STUDENT POSTERS for Innovations'15 (No registration fees), Dubai, November 01-03, 2015 Nabeel Al-Qirim
• [Haskell] PhD Studentships at St Andrews Kevin Hammond
• [Haskell] Haskell Weekly News: Issue 316 Daniel Santa Cruz
  • Re: [Haskell] Haskell Weekly News: Issue 316 Francesco Ariis
  • Re: [Haskell] Haskell Weekly News: Issue 316 Daniel Santa Cruz
  • Re: [Haskell] [Haskell-cafe] Haskell Weekly News: Issue 316 Brandon Allbery
  • Re: [Haskell] [Haskell-cafe] Haskell Weekly News: Issue 316 Takenobu Tani
  • Re: [Haskell] Haskell Weekly News: Issue 316 Simon Peyton Jones
  • Re: [Haskell] Haskell Weekly News: Issue 316 Kim-Ee Yeoh
• [Haskell] LCTES 2015: 2nd Call for Papers Klaus Havelund
• [Haskell] CFP: VSTTE 2015 Daniel Bundala
• [Haskell] Remove from mailing list Ronald Modesitt
  • Re: [Haskell] Remove from mailing list Sumit Sahrawat, Maths & Computing, IIT (BHU)
• [Haskell] CFP: Haskell Symposium 2015 Ben Lippmeier
• [Haskell] ANNOUNCE: monad-levels Ivan Lazar Miljenovic
• [Haskell] Contracting Haskell dev role at Standard Chartered Don Stewart
• [Haskell] CFP: WPTE 2015 Second International Workshop on Rewriting Techniques for Program Transformations and Evaluation David Sabel
• [Haskell] Drastic Prelude changes imminent Augustsson, Lennart
  • Re: [Haskell] Drastic Prelude changes imminent Ivan Lazar Miljenovic
  • Re: [Haskell] Drastic Prelude changes imminent Augustsson, Lennart
• [Haskell] ANN: Halcyon and Haskell on Heroku Miëtek Bak
• [Haskell] [ANNOUNCE] New release of SBV Levent Erkok
• [Haskell] ANN: git-monitor John Wiegley
  • Re: [Haskell] ANN: git-monitor John Wiegley
  • Re: [Haskell] ANN: git-monitor Ben Gamari
• [Haskell] Haskell Weekly News: Issue 315 Daniel Santa Cruz
• [Haskell] CFP: UNIF 2015 Mateu Villaret
  • [Haskell] LAST CFP: UNIF 2015 Mateu Villaret
• [Haskell] AVoCS 2015: First Call for Papers YuHui Lin
• [Haskell] CFP: CRV15 - 2nd Competition on Runtime Verification Yliès Falcone
• [Haskell] CFP Bx'15: 4th International Workshop on Bidirectional Transformations Alcino Cunha
• [Haskell] Book announcement: Robert Kowalski, LOGIC FOR PROBLEM SOLVING, REVISITED Jon Sneyers
• [Haskell] CFW: The 5th International Conference on Current and Future Trends of ICT in Healthcare (ICTH) Nabeel Al-Qirim
• [Haskell] CFP" The 5th International Conference on Current and Future Trends of ICT in Healthcare Nabeel Al-Qirim
• [Haskell] Two research assistantships in model-driven engineering and semantic technologies, University of Oxford Jeremy Gibbons
• [Haskell] Mathematics of Program Construction (MPC 2015): final call for papers José Pedro Magalhães
• [Haskell] PhD position Neil Ghani
  • [Haskell] PhD Position Matthijs Vákár
• [Haskell] TYPES 2015 call for contributions Tarmo Uustalu
• [Haskell] Vacancies: 4 PhD students Software Technology Utrecht University Johan Jeuring
• [Haskell] Haskell Weekly News: Issue 314 Daniel Santa Cruz
• [Haskell] CfP LPNMR 2015 Announcement: Associated Events Francesco Calimeri
• [Haskell] ANNOUNCE: tofromxml Library Robert
• [Haskell] Haskell wiki slowness David Feuer
• [Haskell] ANNOUNCE: GHC version 7.8.4 Austin Seipp
• [Haskell] Google Summer of Code Njagi Mwaniki
• [Haskell] Call for papers LOPSTR 2015 -- 25th International Symposium on Logic-Based Program Synthesis and Transformation -- Siena, Italy Moreno Falaschi
• [Haskell] PhD studentship on dependent type theory for concurrent processes Martin Berger
• [Haskell] [TFP 2015] 1st call for papers Peter Achten
• [Haskell] ANN: deepseq-bounded, seqaid, leaky Andrew Seniuk
  • Re: [Haskell] ANN: deepseq-bounded, seqaid, leaky Andrew Seniuk
  • Re: [Haskell] ANN: deepseq-bounded, seqaid, leaky Andrew Seniuk
• [Haskell] CFP: TFPIE 2015 Johan Jeuring
• [Haskell] Postdoctoral Position in Functional Programming Tom Schrijvers
• [Haskell] Nominations for John C Reynolds Distinguished Dissertation Award Jeremy Gibbons
• [Haskell] Lambda Days--Call for abstracts John Hughes
• [Haskell] LCTES 2015: First CFP Klaus Havelund
• [Haskell] Haskell Weekly News: Issue 313 Daniel Santa Cruz
• [Haskell] ANNOUNCE: Applied Functional Programming (AFP) Summerschool 6-17 July 2015, Utrecht, Netherlands Atze Dijkstra
• [Haskell] TASE 2015 -- Preliminary Call for Papers Jun PANG
• [Haskell] 2 PostDocs in HoTT Neil Ghani
• [Haskell] Submission deadline coming up 22/12/2014: JFP special issue on Parallel and Concurrent Programming Gabriele Keller
• [Haskell] CfP LPNMR 2015 Announcement: selected papers to appear in AI Journal and TPLP Francesco Calimeri
• [Haskell] PPDP 2015 -- First call for papers Moreno Falaschi
• [Haskell] Call for Participation: BOB 2015 in Berlin Stefan Wehr
• [Haskell] NOTE: the primary webserver is going down for immediate maintenance. Austin Seipp
• [Haskell] Up to 15 fully-funded doctoral studentships in CS at Oxford Jeremy Gibbons
• [Haskell] ANNOUNCE: Haskell Communities and Activities Report (27th ed., November 2014) Mihai Maruseac
  • Re: [Haskell] [Haskell-cafe] ANNOUNCE: Haskell Communities and Activities Report (27th ed., November 2014) Simon Peyton Jones
• [Haskell] Call for Presentations: Compose Conference [New York, Jan 30-Feb 1] Gershom B
• [Haskell] RDP 2015 Last Call for Workshops Aleksy Schubert
• [Haskell] ICFP 2015: Call for Papers David Van Horn
• [Haskell] NFM 2015 - deadline extension: Nov 18 Klaus Havelund
• [Haskell] Haskell Weekly News: Issue 311 Daniel Santa Cruz
• [Haskell] Job announcement: formal methods engineer and scientific developer at FireEye Hendrik Tews
• [Haskell] NFM 2015 - final call for papers Klaus Havelund
• [Haskell] Multiple Postdoc Positions on Formal Methods for Cyber Security Liu Yang (Asst Prof)
• [Haskell] Haskell Weekly News: Issue 310 Daniel Santa Cruz
• [Haskell] Postdoc Position in Functional and Constraint Programming at KU Leuven Tom Schrijvers
• [Haskell] RTA 2015 - First Call For Papers Michael Hanus
• [Haskell] ICFEM 2014, Luxembourg, 3-7 November 2014: Last Call for Participation Liu Yang (Asst Prof)
• [Haskell] ANN: yi-0.10.0 , the text editor written in Haskell Mateusz Kowalczyk
• [Haskell] Mathematics of Program Construction (MPC 2015): first call for papers José Pedro Magalhães
• Re: [Haskell] [Haskell-cafe] What happened to hugs? Gershom B
• [Haskell] ICFP 2015 Call for Workshop and Co-located Event Proposals David Van Horn
• [Haskell] Haskell Weekly News: Issue 309 Daniel Santa Cruz
• [Haskell] PLT Redex: The Summer School, Call for Participation Robby Findler
• [Haskell] NFM 2015 - 3rd call for papers Klaus Havelund
• [Haskell] Call for Contributions - Haskell Communities and Activities Report, November 2014 edition Mihai Maruseac
• [Haskell] ANN: New version of graphmod (1.2.4) Iavor Diatchki
• [Haskell] Call for Workshop Proposals - SERA 2015 Slim Kallel
• [Haskell] Haskell Weekly News: Issue 308 Daniel Santa Cruz
• [Haskell] ETAPS 2015 final call for papers Tarmo Uustalu
• Re: [Haskell] Haskell Digest, Vol 133, Issue 16 John Tromp
  • Re: [Haskell] Haskell Digest, Vol 133, Issue 16 Michael Litchard
• [Haskell] 5Yr Research Fellowships Neil Ghani
• [Haskell] Haskell Weekly News: Issue 307 Daniel Santa Cruz
• [Haskell] Nottingham Research Fellowships (deadline 20th October) Graham Hutton
• [Haskell] JFP special issue on parallel and concurrent FP Gabriele Keller
• [Haskell] [ANN] cabal-dev officially deprecated in favor of cabal sandboxes Jonathan Daugherty
  • Re: [Haskell] [ANN] cabal-dev officially deprecated in favor of cabal sandboxes Niklas Hambüchen
  • Re: [Haskell] [ANN] cabal-dev officially deprecated in favor of cabal sandboxes Jonathan Daugherty
• [Haskell] Last CFP: ACM Symposium on Applied Computing Software Verification and Testing Track Ylies Falcone
• [Haskell] ANNOUNCE: bv-0.3.0 Iago Abal
• [Haskell] Postdoctoral Position in Programming Languages at KU Leuven Tom Schrijvers
• [Haskell] Haskell Weekly News: Issue 306 Daniel Santa Cruz
• [Haskell] LPNMR 2015 - Preliminary Call for Papers - 13th International Conference on Logic Programming and Non-monotonic Reasoning Francesco Calimeri
• [Haskell] ANN: patch-image Henning Thielemann
• [Haskell] [ANN] accelerate-0.15 Trevor L. McDonell
  • Re: [Haskell] [accelerate-haskell] [ANN] accelerate-0.15 Niklas Hambüchen
  • Re: [Haskell] [Haskell-cafe] [accelerate-haskell] [ANN] accelerate-0.15 Manuel M T Chakravarty
  • Re: [Haskell] [ANN] accelerate-0.15 Trevor L. McDonell
• [Haskell] PhD position - Computer assisted validation in Erlang German Vidal
• [Haskell] ICFEM 2014 Call for Participation Liu Yang (Asst Prof)
• [Haskell] ANNOUNCE: buildable-0.1.0.0 Ivan Lazar Miljenovic
• [Haskell] ANNOUNCE: New Hackage release - LargeCardinalHierarchy-0.0.1 Stephen Britton
  • Re: [Haskell] ANNOUNCE: New Hackage release - LargeCardinalHierarchy-0.0.1 Mateusz Kowalczyk
• [Haskell] ANN: Helium now available from Hackage Jurriaan Hage
• [Haskell] APLAS 2014: Call for Participation Jacques Garrigue
• [Haskell] Haskell Weekly News: Issue 304 Daniel Santa Cruz
  • [Haskell] Haskell Weekly News: Issue 304 Daniel Santa Cruz
• [Haskell] ETAPS 2015 2nd call for papers Tarmo Uustalu
• [Haskell] Third call for papers, IFL 2014 publicityifl
• [Haskell] CFP: PRDC2014 Call for Participation liyuanfang
• [Haskell] SCSS 2014: Call for short and work-in-progress papers Temur Kutsia
• [Haskell] ANNOUNCE: hemokit 0.6.3 - Now with OpenVibe compatibility Niklas Hambüchen
• [Haskell] [ANN] haddock-2.15-0, haddock-api-2.15-0, haddock-library-1.1.1 Mateusz Kowalczyk
• [Haskell] ANN: Agda 2.4.2 Andreas Abel
• [Haskell] [ANN] HacBerlin - Haskell Hackathon in Berlin, 26-28 Sep 2014 Stefan Wehr
• [Haskell] Haskell Weekly News: Issue 303 Daniel Santa Cruz
• [Haskell] ANN: cgi 3001.2.0.0 John Alfred Nathanael Chee
• [Haskell] Fwd: [racket-dev] Call for Participation: SPLASH Educators Symposium Robby Findler
• [Haskell] ANNOUNCE: goatee, goatee-gtk: Go game editor Bryan Gardiner
• [Haskell] CFP - JSS, Elsevier - Special issue on adaptive and reconfigurable software systems and architectures Slim Kallel
• [Haskell] Haskell Weekly News: Issue 302 Daniel Santa Cruz
• [Haskell] CUFP 2014: Call For Participation Edward Kmett
• [Haskell] [ANN] BOB 2015: Call for Contributions Stefan Wehr
  • [Haskell] [ANN] BOB 2015: Call for Contributions Stefan Wehr
• [Haskell] ANNOUNCE: vty 5.2.0 and vty-examples 5.2.0 Corey O'Connor
  • Re: [Haskell] ANNOUNCE: vty 5.2.0 and vty-examples 5.2.0 Corey O'Connor
  • Re: [Haskell] ANNOUNCE: vty 5.2.0 and vty-examples 5.2.0 Mateusz Kowalczyk
  • Re: [Haskell] ANNOUNCE: vty 5.2.0 and vty-examples 5.2.0 Corey O'Connor
• [Haskell] APLAS 2014: Call for Posters and Demo Cristian Andrei Gherghina
• [Haskell] ANNOUNCE: wxHaskell 0.91.0.0 Henk-Jan van Tuyl
• [Haskell] WLP/WFLP - Call for Participation - September 15-17 Janis Voigtlaender
• [Haskell] Haskell Platform 2014.2.0.0 is Released! Mark Lentczner
  • Re: [Haskell] [Haskell-cafe] Haskell Platform 2014.2.0.0 is Released! Henk-Jan van Tuyl
  • Re: [Haskell] [Haskell-cafe] Haskell Platform 2014.2.0.0 is Released! Mark Lentczner
• [Haskell] Haskell Weekly News: Issue 301 Daniel Santa Cruz
• [Haskell] Haskell Symposium – Call for participation Wouter Swierstra
• [Haskell] ICFP 2014 Final Call for Participation David Van Horn
• [Haskell] Haskell Platform 2014.2.0.0 Release Candidate 3 Mark Lentczner
• [Haskell] Haskell Weekly News: Issue 300 Daniel Santa Cruz
• [Haskell] The ML Family workshop: program and the 2nd call for participation oleg
• [Haskell] ETAPS 2015 1st call for papers Tarmo Uustalu
• [Haskell] early adopters rejoyce! Haskell Platform 2014.2.0.0 Release Candidate 2 Mark Lentczner
• [Haskell] RV 2014: Call for Participation Runtime Verification
• [Haskell] PPDP 2014: Program and 2nd Call for Participation Jacob Johannsen
• [Haskell] ANNOUNCE: hplayground: haskell client-side web framework Alberto G. Corona
• [Haskell] HOPE 2014 Call for Participation (with Workshop Program) Hongseok Yang
• [Haskell] Call for Talk Proposals: Domain-Specific Language Design and Implementation 2014 Sebastian Erdweg
• [Haskell] FHPC 2014 (and reminder about ICFP early reg) Mary Sheeran
• [Haskell] Call for participation: Haskell tutorial at CUFP on 4 Sep 2014 Stefan Wehr
• [Haskell] TASE 2014：CALL FOR PARTICIPATION Huibiao Zhu
• [Haskell] Haskell Weekly News: Issue 299 Daniel Santa Cruz
• [Haskell] ANN: HacBerlin - Haskell Hackathon in Berlin, 26-28 Sep 2014 Stefan Wehr
  • [Haskell] ANN: HacBerlin - Haskell Hackathon in Berlin, 26-28 Sep 2014 Stefan Wehr
• [Haskell] Call for participation: FOSDEM 2015 Gautier DI FOLCO
• [Haskell] Call for Talk Proposals: Parsing@SLE Sebastian Erdweg
• [Haskell] [ANNOUNCE] New release of SBV (v3.1) Levent Erkok
• [Haskell] Call for participation: Workshop on Generic Programming José Pedro Magalhães
• [Haskell] PPDP 2014 Call for Participation Jacob Johannsen
• [Haskell] ANNOUNCE: GHC version 7.8.3 Austin Seipp
• [Haskell] OCL 2014: Submission Deadline Extended by One Week Achim D. Brucker
• [Haskell] PEPM 2015: Call for papers Janis Voigtlaender
• [Haskell] ANNOUNCE: sai-shape-syb Generic mapping to homogeneous types (etc.) Andrew Seniuk

• Earlier messages
• Later messages