Messages by Thread
-
[Haskell] [NL-FP 2016] Final CFP: Dutch Functional Programming Day 2016
Atze Dijkstra
-
[Haskell] FLOPS 2016: Call for Participation and Posters/Demos
Oleg
-
[Haskell] ANNOUNCE: Haskell Platform 7.10.3
Gershom B
-
[Haskell] MSFP 2016: Call for Papers
Bob Atkey
-
Re: [Haskell] [Haskell-beginners] DOOM rewritten in the Haskell programming language.
Henk-Jan van Tuyl
-
[Haskell] ICFP 2016 Call for Papers
Lindsey Kuper
-
[Haskell] First Call for Papers: Special Issue of the SCP on Automated Verification of Critical Systems
Lin, Yuhui
-
[Haskell] JFP Issue on Dependently typed programming: second call for papers
Wouter Swierstra
-
[Haskell] Research Fellows in Computing at Oxford Brookes University
Clare Martin
-
[Haskell] PhD studentships at the Functional Programming Lab in Nottingham
Henrik Nilsson
-
[Haskell] CFP: EOOLT 2016
Henrik Nilsson
-
[Haskell] NFM 2016 - first call for papers
Klaus Havelund
-
[Haskell] [APLS2015] 2nd Call for Participation
Luminous Fennell
-
Re: [Haskell] Haskell Digest, Vol 147, Issue 9
Cool
-
[Haskell] [NL-FP 2016] 2nd CFP: Dutch Functional Programming Day 2016
Atze Dijkstra
-
[Haskell] ANN: HaskRel; Employing GHC as a DBMS with support for the relational algebra
Thor Michael Støre
-
[Haskell] CFP: 25th Int'l Conf. on Compiler Construction (CC) - Final Call
Manuel Hermenegildo
-
[Haskell] SIGPLAN John C Reynolds Doctoral Dissertation Award
Jeremy Gibbons
-
[Haskell] NNOUNCE: Haskell Communities and Activities Report (29th ed., November 2015)
Mihai Maruseac
-
[Haskell] ANN: cacophony 0.4.0, pipes-cacophony 0.1.2
John Galt
-
[Haskell] On Hiatus Until January 2016: Haskell Weekly News
Kim-Ee Yeoh
-
[Haskell] ANN: linearscan, linearscan-hoopl 1.0.0
John Wiegley
-
[Haskell] Call for papers: PLACES 2016
Dominic Orchard
-
[Haskell] Registration now open: Haskell in Leipzig (Germany) December 4/5
Johannes Waldmann
-
[Haskell] Leuven Haskell User Group: Season 2
Tom Schrijvers
-
[Haskell] Call for Papers (UTP 2016)
Huibiao Zhu
-
[Haskell] CFP: 25th Int'l Conf. on Compiler Construction (CC) - *new deadline*
Manuel Hermenegildo
-
[Haskell] ANN: dimensional-1.0 for statically checked physical dimensions
Douglas McClean
-
[Haskell] ANN: cereal-0.5.0.0
Trevor Elliott
-
[Haskell] Phd position starting in April 2016
Clare Martin
-
[Haskell] 2nd CfP: Haskell in Leipzig (Germany) 2015
Johannes Waldmann
-
[Haskell] Faculty Position in Secure and Trustworthy Cyberspace
Andrew Tolmach
-
[Haskell] ICFP 2016 Call for Workshop and Co-located Event Proposals
Lindsey Kuper
-
[Haskell] PhD and Postdoc Positions - KWARC, Jacobs University Bremen
Michael Kohlhase
-
[Haskell] Final Call for Scholarship Applications: Programming Languages Mentoring Workshop - a POPL workshop (Deadline: October 23!)~
Dimitrios Vytiniotis
-
[Haskell] [ICGT2016] CFP: Int.Conf. Graph Transformation, Vienna, July 2016
Rachid Echahed
-
[Haskell] [NL-FP 2016] Announcement: Dutch Functional Programming Day 2016
Atze Dijkstra
-
[Haskell] Final Call for Haskell Prime language committee Nominations!
Herbert Valerio Riedel
-
[Haskell] ANNOUNCE: unordered-graphs
Ivan Lazar Miljenovic
-
[Haskell] CfP: Haskell in Leipzig (Germany), 4/5 December 2015
Johannes Waldmann
-
[Haskell] [APLS2015] Call for Participation: Workshop on Advances in Programming Languages and Systems
Luminous Fennell
-
[Haskell] Learning Haskell — a new tutorial
Manuel M T Chakravarty
-
[Haskell] ANN: wxInstall Abriline and wxHaskell 0.92.1.0
Henk-Jan van Tuyl
-
[Haskell] CFP: Special issue of JFP on dependently typed programming
Wouter Swierstra
-
[Haskell] Call for Contributions - Haskell Communities and Activities Report, November 2015 edition (29th edition)
Mihai Maruseac
-
[Haskell] Call for Scholarship Applications: Programming Languages Mentoring Workshop - a POPL workshop (Deadline: October 23!)
Dimitrios Vytiniotis
-
[Haskell] Proof Engineers Wanted
Gerwin Klein
-
[Haskell] ETAPS 2016 final call for papers
Tarmo Uustalu
-
[Haskell] FSCD'16 Preliminary Call for Papers
Hugo Herbelin
-
[Haskell] 2nd CfP: SCSS 2016
Temur Kutsia
-
[Haskell] ANN: CfN for new Haskell Prime language committee
Herbert Valerio Riedel
-
[Haskell] ANNOUNCE: polymap 0.1.0.1
David Farrell
-
[Haskell] Ph.D. Position on Analysis of Energy Consumption of High-Level Programs
Morten Rhiger
-
[Haskell] SPLASH 2015 - 2nd Call For Participation
Tijs van der Storm
-
[Haskell] Call for Contributions: BOB 2016 - Berlin, Feb 19, 2016
Stefan Wehr
-
[Haskell] [PADL 2016] Final call for papers (Deadline extended)
John Reppy
-
Re: [Haskell] [Haskell-cafe] ANNOUNCE: ioctl 0.0.1
Alberto G. Corona
-
[Haskell] Senior Haskell developer roles at Standard Chartered, Singapore
Don Stewart
-
[Haskell] ANN: Creation of Haskell-Community list for Haskell.org Community Infrastructure Discussions
Gershom B
-
[Haskell] ANNOUNCE: graphviz-2999.18.0.0
Ivan Lazar Miljenovic
-
[Haskell] ETAPS 2016 2nd call for papers
Tarmo Uustalu
-
[Haskell] ETA on 7.10.3?
David Banas
-
[Haskell] ANNOUNCE: GPipe 2.0 released
Tobias Bexelius
-
[Haskell] Open Postdoc Position in formal methods applied to timed systems
Ezio Bartocci
-
[Haskell] CPS Week 2016: CALL FOR WORKSHOP AND TUTORIAL PROPOSALS
Ezio Bartocci
-
[Haskell] PEPM 2016: Final Call for Papers
Martin Erwig
-
[Haskell] Final CFP: FLOPS 2016, International Symposium on Functional and Logic Programming
Oleg
-
[Haskell] ANN: wxHaskell 0.92
Henk-Jan van Tuyl
-
[Haskell] Haskell hacking internships at Los Alamos National Laboratory (Spring 2016, undergraduate)
Kei Davis
-
[Haskell] ANNOUNCE: Haskell for Mac, 1.0
Manuel M T Chakravarty
-
[Haskell] SPLASH 2015 - Call For Participation
Tijs van der Storm
-
[Haskell] ANNOUNCE: brick 0.2 released
Jonathan Daugherty
-
[Haskell] LPNMR 2015: Call for participation - Hotel Special rate DEADLINE Sep. 2nd, 2015
Francesco Calimeri
-
[Haskell] CFP: 25th International Conference on Compiler Construction (CC)
Manuel Hermenegildo
-
[Haskell] LPNMR 2015 - Call for participation
Francesco Calimeri
-
[Haskell] ETAPS 2016 call for papers
Tarmo Uustalu
-
[Haskell] ANNOUNCE: broker-haskell v0.1
David Banas
-
[Haskell] libiconv trouble?
David Banas
-
[Haskell] Redundant entries in .cabal file?
David Banas
-
[Haskell] ANNOUNCE: brick 0.1 released (deprecates vty-ui)
Jonathan Daugherty
-
[Haskell] Final call for papers for IFL 2015
Jurriaan Hage
-
[Haskell] [PADL 2016] First call for papers
John Reppy
-
[Haskell] Fwd: Haskell Weekly News
Kim-Ee Yeoh
-
Re: [Haskell] ANNOUNCE: Haskell Platform 7.10.2-a (Mark Lentczner)
??????
-
Re: [Haskell] ANNOUNCE: Haskell Platform 7.10.2-a
Mark Lentczner
-
[Haskell] AVoCS 2015: Final Call for Research Idea Papers & Participation
Lin, Yuhui
-
[Haskell] PEPM 2016: Call for Papers
Martin Erwig
-
[Haskell] SPLASH 2015 - Call for Student Volunteers
Craig Anslow
-
[Haskell] ANNOUNCE: Haskell Platform 7.10.2
Mark Lentczner
-
[Haskell] Haskell
lel416
-
[Haskell] Erlang Workshop: Call for participation
Hans Svensson
-
[Haskell] ANNOUNCE: GHC version 7.10.2
Ben Gamari
-
[Haskell] (no subject)
lel416
-
[Haskell] [LPNMR 2015] EARLY REGISTRATION CLOSING SOON - Call for Participation (student support grants: NEWS)
Francesco Calimeri
-
[Haskell] ANNOUNCE: fgl-5.5.2.0 and fgl-arbitrary-0.2.0.0
Ivan Lazar Miljenovic
-
[Haskell] Haskell developer position in research group
Ward C Wheeler
-
[Haskell] ICFP 2015 Call for Participation
David Van Horn
-
[Haskell] SPLASH 2015 - Workshops Combined Call for Papers
Craig Anslow
-
[Haskell] OCL 2015: ** Deadline Extension ** Submit Your Paper Until July 26, 2015
Achim D. Brucker
-
[Haskell] AVoCS 2015: Joint Call for Research Idea Papers & Participation
Lin, Yuhui
-
[Haskell] IAG is hiring Haskell programmers
Patryk Zadarnowski
-
[Haskell] Call for Contributions: Haskell Implementors' Workshop 2015
Josef Svenningsson
-
[Haskell] FLOPS 2016, Second CFP
Oleg
-
[Haskell] ANN: hledger 0.26
Simon Michael
-
[Haskell] [LPNMR 2015] REGISTRATION OPEN - Call for Participation (student support grants available)
Francesco Calimeri
-
[Haskell] To all users of FGL
Ivan Lazar Miljenovic
-
[Haskell] AI4FM 2015: Final call for short contributions
Andrius Velykis
-
[Haskell] Final CF STUDENT POSTERS for Innovations'15 (No registration fees), Dubai, November 01-03, 2015
Nabeel Al-Qirim
-
[Haskell] OCL 2015: Final Call for Papers - Only 10 Days Left
Achim D. Brucker
-
[Haskell] Deadline extension: ICFP 2015 Student Research Competition
Andrew Kennedy
-
[Haskell] ICFP 2015 Student Research Competition: Final Call for Submissions
Andrew Kennedy
-
[Haskell] ANNOUNCE: fgl-arbitrary
Ivan Lazar Miljenovic
-
[Haskell] SPLASH 2015 - 2nd Combined Call for Contributions
Craig Anslow
-
[Haskell] GTTSE 2015 -- Call for Participation
Vadim Zaytsev
-
[Haskell] OCL 2015: Second Call for Papers - Only Four Weeks Left
Achim D. Brucker
-
[Haskell] [Deadline Extended: 15 July 2015] IEEE 11th International Conference on Innovations IIT'15, Dubai, UAE
Leila Fayez Ismail
-
[Haskell] Postdoc position in parallel/distributed functional programming
Ryan Newton
-
[Haskell] VISSOFT 2015 - Call for Papers: New Ideas or Emerging Results and Tool Demos
Craig Anslow
-
[Haskell] Haskell dev role in Strats at Standard Chartered London
Don Stewart
-
[Haskell] Summer School on Generic and Effectful Programming (2nd call for participation)
Maciej Pirog
-
[Haskell] Haskell developer role with Strats at Standard Chartered London
Don Stewart
-
[Haskell] [ANN] Lentil - a frugal issue tracker
Francesco Ariis
-
[Haskell] ItaloHaskell, the Italian community
vitalij_...@libero.it
-
[Haskell] AVoCS 2015: Extended Paper Deadline
YuHui Lin
-
[Haskell] APLAS 2015: deadline extension
Xinyu Feng
-
[Haskell] Haskell dev role in Strats at Standard Chartered (Singapore)
Don Stewart
-
[Haskell] A Dockerfile to provision a build environment for an Android game written in Haskell
Sean Seefried
-
[Haskell] ANNOUNCE: Haskell Communities and Activities Report (28th ed., May 2015)
Mihai Maruseac
-
[Haskell] LPMR 2015 - Associated events - DEADLINES
Francesco Calimeri
-
[Haskell] Two years R&D engineer position available in Computer Science & Arts, Bordeaux, France
David Janin
-
[Haskell] Call for Talks - Code Mesh London 3-5 Nov
Andra Dinu
-
[Haskell] APLAS 2015: Final Call for Papers
Xinyu Feng
-
[Haskell] CoPro 2015 - Mini-Symposium on Coordination Programming
Clemens Grelck
-
[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