Messages by Thread
-
[Haskell] ICFP 2015 Student Research Competition: Call for Submissions
Andrew Kennedy
-
[Haskell] AVoCS 2015: Final Call for Papers
YuHui Lin
-
[Haskell] CFP: GPCE' 15 (COMLAN Special Issue), Deadline June 8
Tomofumi Yuki
-
[Haskell] ANN: nonce package
Felipe Lessa
-
[Haskell] Call for Participation: WPTE 2015 Second International Workshop on Rewriting Techniques for Program Transformations and Evaluation
David Sabel
-
[Haskell] SPLASH 2015 - Call for Contributions: Other Tracks
Craig Anslow
-
[Haskell] Erlang Workshop 2015: deadline extension
Hans Svensson
-
[Haskell] CALL FOR PAPERS for IIT’15, IEEE Sponsored, Dubai (01-03 Nov 2015)
Leila Fayez Ismail
-
[Haskell] OCL 2015: First Call for Papers
Achim D. Brucker
-
[Haskell] CFP: Haskell Symposium Regular Track Final Call
Ben Lippmeier
-
[Haskell] CFP - Information and Computation special issue on Implicit Computational Complexity
Marco Gaboardi (Staff)
-
[Haskell] Call for participation: 8th International School on Rewriting - ISR 2015
Johannes Waldmann
-
[Haskell] CFP : Extended deadline : Functional Art, Music, Modelling and Design (FARM 2015)
David Janin
-
[Haskell] CFP: Extended Deadline: Functional High-Performance Computing (held with ICFP)
Geoffrey Mainland
-
[Haskell] Call for participation: Applied Functional Programming (AFP) Summerschool 6-17 July 2015, Utrecht, Netherlands
Atze Dijkstra
-
[Haskell] First Call for Papers for IFL 2015
publicityifl
-
[Haskell] Associate Professor (Software Engineering) position at Monash University
liyuanfang
-
[Haskell] Assistant Professorship in Nottingham
Graham Hutton
-
[Haskell] Position in foundations of software and programming languages
Gunnar Brinkmann
-
[Haskell] Summer School on Generic and Effectful Programming
Maciej Pirog
-
[Haskell] Call for participation (FCRC+LCTES)
Klaus Havelund
-
[Haskell] [TFP'15] call for participation
Peter Achten
-
[Haskell] MPC 2015 - Call For Participation
Maciej Pirog
-
[Haskell] [haskell.org Google Summer of Code] 18 Projects Accepted
Edward Kmett
-
[Haskell] [ANN] FLOPS CFP 2016
oleg
-
[Haskell] Final CFP: Workshop on Generic Programming 2015 - Deadline May 15
Sebastian Erdweg
-
Re: [Haskell] Haskell Digest, Vol 140, Issue 20
Geraldus
-
[Haskell] Workshop on Type Inference, May 12
Frantisek Farka
-
[Haskell] LOLA 2015: Deadline extended to May 11
Ulrich Schöpp
-
[Haskell] CfP LPNMR 2015: ***Last call***, registration closes in 33 hours
Francesco Calimeri
-
[Haskell] CFP: FHPC 2015: Workshop on Functional High-Performance Computing [w/ICFP]
Trevor McDonell
-
[Haskell] Extended Deadline (May 1), VSTTE'15
Daniel Bundala
-
[Haskell] Associate Professorship in Data Science at Oxford (Continuing Education)
Jeremy Gibbons
-
[Haskell] [Second call for participation] Spring School about Proofs of Programs using Coq
Yann Régis-Gianas
-
[Haskell] Extended Deadline - SBLP 2015
Alberto Pardo
-
[Haskell] AI4FM 2015: Call for Short Contributions
Iain Whiteside
-
[Haskell] VSTTE 2015 Final Call For Papers
Daniel Bundala
-
[Haskell] ANN: ssh, darcsden vulnerability
Simon Michael
-
[Haskell] Help wanted with Wiki.Haskell.Org
Gershom B
-
[Haskell] [ANN]: the Helium compiler, version 1.8.1
Jurriaan Hage
-
[Haskell] LPNMR 2015 Invitation to submit - 11 days to the deadline
Francesco Calimeri
-
[Haskell] all for Contributions - Haskell Communities and Activities Report, May 2015 edition (28th edition)
Mihai Maruseac
-
[Haskell] CfP LPNMR 2015: DEADLINES UPDATE
Francesco Calimeri
-
[Haskell] Strathclyde PhD Position
Conor McBride
-
[Haskell] Deadline extended: WPTE 2015 Second International Workshop on Rewriting Techniques for Program Transformations and Evaluation
David Sabel
-
[Haskell] Workshop on Type Inference and Automated Proving
Frantisek Farka
-
[Haskell] Leuven Haskell User Group meeting on April 21
Tom Schrijvers
-
[Haskell] Haskell on Windows instructions - is MinGHC version update needed?
Howard B. Golden
-
[Haskell] Final CFP - SBLP 2015: 19th Brazilian Symposium on Programming Languages
Alberto Pardo
-
[Haskell] LOLA 2015: Second Call for Talk Proposals
Ulrich Schöpp
-
[Haskell] VACANCIES : 3x PhD position in Fuctional Programming
Johan Jeuring
-
[Haskell] Final CFP: WPTE 2015 Second International Workshop on Rewriting Techniques for Program Transformations and Evaluation
David Sabel
-
[Haskell] Last CFP Bx'15: 4th International Workshop on Bidirectional Transformations
Alcino Cunha
-
[Haskell] ANN: hledger 0.25
Simon Michael
-
[Haskell] CfP LPNMR 2015 Announcement: SUBMISSIONS NOW OPEN!
Francesco Calimeri
-
[Haskell] [EPIT2015] Call for participation to a Spring School about the Coq proof assistant
Yann Régis-Gianas
-
[Haskell] [haskell.org Google Summer of Code] Call for Mentors
Edward Kmett
-
[Haskell] Call for Haskell.org committee self-nominations
Gershom B
-
[Haskell] Chalmers is advertising positions, deadline April 6
Koen Claessen
-
[Haskell] FARM 2015: 2nd Call For Papers
Henrik Nilsson
-
[Haskell] DSLDI: 3rd Workshop on Domain-Specific Language Design and Implementation (EXTENDED DEADLINE)
Tijs van der Storm
-
[Haskell] ANNOUNCE: Arion
Karun Ramakrishnan
-
[Haskell] Mentoring workshop @ ICFP
Stephanie Weirich
-
[Haskell] AVoCS 2015: Second Call for Papers
YuHui Lin
-
[Haskell] ANNOUNCE: GHC version 7.10.1
Austin Seipp
-
[Haskell] Haskell Weekly News: Issue 322
Semen Trygubenko / Семен Тригубенко
-
[Haskell] VSTTE 15, Second Call for Papers
Daniel Bundala
-
[Haskell] CFP: Erlang Workshop 2015
Hans Svensson
-
[Haskell] Haskell-related PhD Studentship at Kent
Meng Wang
-
[Haskell] Doctoral Teaching Assistantships in CS at Oxford
Jeremy Gibbons
-
[Haskell] [TFP'15] final call for papers - deadline extended march 31 -
Peter Achten
-
[Haskell] There has been discussion on matrix operations and cache thrashing; does management think using Haskell would lead to cash thrashing?
KC
-
[Haskell] Haskell development role at Standard Chartered in London
Don Stewart
-
[Haskell] CFP: GPCE 2015, 14th International Conference on Generative Programming: Concepts & Experiences, Pittsburgh, Oct. 26/27, 2015
Tomofumi Yuki
-
[Haskell] SPLASH 2015: 2nd Call for Contributions: OOPSLA, Onward!, Workshops, Dynamic Languages Symposium
Craig Anslow
-
[Haskell] ARRAY'15 Call for Papers
Mary Sheeran
-
[Haskell] IIT’15, IEEE Sponsored, Dubai (01-03 Nov 2015), Call for Papers, Tutorials & Workshops Proposals, Students Posters
Leila Fayez Ismail
-
[Haskell] ANNOUNCE: fgl 5.5.1.0
Ivan Lazar Miljenovic
-
[Haskell] Haskell.org Committee Financial Statement 2014
Gershom B
-
[Haskell] APLAS 2015: Call for Papers
Xinyu Feng
-
[Haskell] CFP: Workshop on Generic Programming 2015 - Deadline May 15
Sebastian Erdweg
-
[Haskell] [TFPIE 2015] 2nd call for papers
Peter Achten
-
[Haskell] Haskell Weekly News
Kim-Ee Yeoh
-
[Haskell] Haskell 2015: 2nd Call for Papers
Ben Lippmeier
-
[Haskell] Constraint Satisfaction Problem
K Sai Anirudh
-
[Haskell] DSLDI: 3rd Workshop on Domain-Specific Language Design and Implementation
Tijs van der Storm
-
[Haskell] Haskell Wiki broken links
Frantisek Farka
-
[Haskell] PhD position in dependent types/functional programming at Chalmers
Andreas Abel
-
[Haskell] TYPES 2015 final call for contributions
Tarmo Uustalu
-
[Haskell] CFP - SBLP 2015: 19th Brazilian Symposium on Programming Languages
Alberto Pardo
-
[Haskell] ETAPS 2016 call for satellite events
Tarmo Uustalu
-
[Haskell] 7 PhD studentships in Nottingham
Graham Hutton
-
[Haskell] The Future of Community.Haskell.Org
Gershom B
-
[Haskell] GHC 7.10 will use Plan FTP
Simon Peyton Jones
-
[Haskell] PPDP 2015: 2nd call for papers
Moreno Falaschi
-
[Haskell] LOPSTR 2015: 2nd Call for Papers
Moreno Falaschi
-
[Haskell] NFM 2015 - CALL FOR PARTICIPATION
Klaus Havelund
-
[Haskell] Fwd: FARM 2015 Workshop - 1st call for papers and demos
Henrik Nilsson
-
[Haskell] ANN: New Haskell.org Homepage Now Live
Gershom B
-
[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
-
[Haskell] 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] PhD Studentships at St Andrews
Kevin Hammond
-
[Haskell] Haskell Weekly News: Issue 316
Daniel Santa Cruz
-
[Haskell] LCTES 2015: 2nd Call for Papers
Klaus Havelund
-
[Haskell] CFP: VSTTE 2015
Daniel Bundala
-
[Haskell] Remove from mailing list
Ronald Modesitt
-
[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
-
[Haskell] ANN: Halcyon and Haskell on Heroku
Miëtek Bak
-
[Haskell] [ANNOUNCE] New release of SBV
Levent Erkok
-
[Haskell] ANN: git-monitor
John Wiegley
-
[Haskell] Haskell Weekly News: Issue 315
Daniel Santa Cruz
-
[Haskell] 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] 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