Messages by Thread
-
[Haskell] I repeat my Question becaue I not really sure to do it right
CCUTM
-
[Haskell] Haskell positions at Facebook
Simon Marlow
-
[Haskell] ETAPS 2017 2nd joint call for papers
Tarmo Uustalu
-
[Haskell] Postdoctoral position in programming languages at U Tuebingen
Klaus Ostermann
-
[Haskell] Last Call for Participation: LOPSTR 2016 - 26th Intl. Symp. on Logic-Based Program Synthesis and Transformation
Pedro López García
-
[Haskell] Call for Participation: LOPSTR 2016 - 26th Intl. Symp. on Logic-Based Program Synthesis and Transformation
pedro.lopez
-
[Haskell] PhD position in computational music structure analysis using functional programming
Wouter Swierstra
-
[Haskell] Call for Participation: Functional Art, Music, Modelling and Design (September 24, Nara, Japan)
Michael Sperber
-
[Haskell] DSLDI 2016: Final Call for Talk Proposals (Extended Deadline)
Eric Walkingshaw
-
[Haskell] FHPC 2016; CALL FOR PARTICIPATION
Yukiyoshi Kameyama
-
[Haskell] ANN: unicode-transforms-0.1.0.1 (unicode normalization)
Harendra Kumar
-
[Haskell] Haskell in Leipzig 2016: Call for Participation
Joachim Breitner
-
[Haskell] Last Call for Participation: PPDP 2016 - 18th International Symposium on Principles and Practice of Declarative Programming
German Vidal
-
[Haskell] SPLASH'16 Final CFP: Workshops, SPLASH-E, SRC, PLMW
Tijs van der Storm
-
[Haskell] Call for Participation: WFLP 2016 and co-located events
Janis Voigtlaender
-
[Haskell] Call for participation to PLRR 2016 (hosted by CSL)
Christophe Raffalli
-
[Haskell] Managed Languages & Runtimes Week '16 - Call for Participation
Andrea Rosa
-
[Haskell] ETAPS 2017 1st call for papers
Tarmo Uustalu
-
[Haskell] Function to replace given element in list
Niely Boyken
-
[Haskell] Call for Participation: ICFP 2016
Lindsey Kuper via Haskell
-
[Haskell] ANN: blockhash-0.1.0.0
KwangYul Seo
-
[Haskell] Announcing MuniHac 2016
Michael Adler
-
[Haskell] OCL 2016: ** Deadline Extension ** Submit Your Paper Until July 24, 2016
Achim D. Brucker
-
[Haskell] Call For Participation: WADT 2016
JAMES P. (366409)
-
[Haskell] Christopher Strachey centenary announcement
Troy Astarte (PGR)
-
[Haskell] ANN: tagsoup-megaparsec-0.1.0.0
KwangYul Seo
-
[Haskell] SPLASH'16: 3rd Combined Call for Contributions to Collocated Events
Tijs van der Storm
-
[Haskell] 2016 Autumn School on Computational Logic
German Vidal
-
[Haskell] ANN: enchant-0.1.0.0
KwangYul Seo
-
[Haskell] ANN: qtah-0.1.0
Bryan Gardiner
-
[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
-
[Haskell] Call for participation: PPDP 2016
German Vidal
-
[Haskell] DEADLINE EXTENSION: 14th ACM MobiWac 2016, MALTA
Robson De Grande
-
[Haskell] Haskell in Leipzig 2016: Another Call for Papers (deadline extended)
Joachim Breitner
-
[Haskell] 2nd CfP: IFL 2016 (28th Symposium on Implementation and Application of Functional Languages)
publicityifl
-
[Haskell] SIGPLAN Programming Languages Mentoring Workshop @ SPLASH'16
Tijs van der Storm
-
[Haskell] Position as lab docent Software Engineering at the University of Amsterdam
Clemens Grelck
-
[Haskell] Call for Papers: 2nd IEEE European Symposium on Security and Privacy (EuroS&P), April 26-28, 2017 in Paris
Christian Rossow
-
[Haskell] The Haddock documentation is not showing up on the Hackage
KwangYul Seo
-
[Haskell] Deadline extended: 21st International Conference on Engineering of Complex Computer Systems (ICECCS 2016), Dubai, United Arab Emirates, November 6-8 2016
liyuanfang
-
[Haskell] [ANN] vty-5.7 released
Jonathan Daugherty
-
[Haskell] [ANN] vty-5.6 released
Jonathan Daugherty
-
[Haskell] JLAMP special issue for PLACES (2nd Call for Papers)
Dominic Orchard
-
[Haskell] Haskell in Leipzig 2016: Final Call for Papers
Joachim Breitner
-
[Haskell] 14th ACM MobiWac 2016, MALTA
Robson De Grande
-
[Haskell] Programming in Haskell - 2nd Edition
Graham Hutton
-
[Haskell] Haskell Developer Position at Scrive
Jonathan Jouty
-
[Haskell] WFLP 2016 - Final Call for Papers
Janis Voigtlaender
-
[Haskell] [Caml-list] Call for contribution, PLRR 2016 (Parametricity, Logical Relations & Realizability), EXTENDED DEADLINE
Christophe Raffalli
-
[Haskell] Haskell eXchange 2016 - call for contributions
Andres Löh
-
[Haskell] Call for Participation: 3rd Virtual Machine Meetup, September 1-2, Lugano, Switzerland
Andrea Rosa
-
[Haskell] CFP: ACM MobiWac 2016
RODOLFO IPOLITO MENEGUETTE
-
[Haskell] WFLP 2016 - Deadline Extension
Janis Voigtlaender
-
[Haskell] ICPE 2017 - 1st Call for Papers
Andrea Rosa
-
[Haskell] SPLASH'16: 2nd Combined Call for Contributions to Collocated Events
Tijs van der Storm
-
[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
-
[Haskell] JTRES 2016, Submission Deadline Extended to July 3
Andrea Rosa
-
[Haskell] [ANN] Budapest Haskell Hackathon 2016, 6-7th Aug 2016
Gmail
-
[Haskell] Reminder: 10 days to submit talks to CUFP 2016
Alex Lang
-
[Haskell] LOPSTR'16: Final Call for Papers and *Deadline Extension*
pedro.lopez
-
[Haskell] Two Lectureships (Assistant Professorships) at St Andrews
Kevin Hammond
-
[Haskell] CFP: DEADLINE APPROACHING - MSWiM 2016
Robson De Grande
-
[Haskell] FHPC'16 - reminder, and deadline extension
David Duke
-
[Haskell] Haskell in Leipzig 2016: Second Call for Papers
Joachim Breitner
-
[Haskell] Vacancy: Professor Software technology at Utrecht University
Johan Jeuring
-
[Haskell] CFP: ACM MobiWac 2016 - November 13 - 17, 2016, Malta
RODOLFO IPOLITO MENEGUETTE
-
[Haskell] WADT 2016 -- Extended Deadline
JAMES P. (366409)
-
[Haskell] New Haddock
Dominic Steinitz
-
[Haskell] 10 open roles in expanding team at Standard Chartered
Don Stewart
-
[Haskell] PPPJ 2016, Submission Deadline Extended to June 13 AoE
Andrea Rosa
-
[Haskell] Summer School on Bidirectional Transformations, Oxford, 25-29th July 2016
Jeremy Gibbons
-
[Haskell] LOPSTR 2016: 2nd Call for Papers
pedro.lopez
-
[Haskell] DEADLINE EXTENSION: ACM/IEEE MSWiM 2016
RODOLFO IPOLITO MENEGUETTE
-
[Haskell] ANN: Haskell for Mac trials & educational discount
Manuel M T Chakravarty
-
[Haskell] SIGPLAN Programming Languages Mentoring Workshop @ ICFP
Lindsey Kuper
-
[Haskell] 2nd Call for Papers: WFLP 2016 - Update: EPTCS Proceedings
Janis Voigtlaender
-
[Haskell] DEADLINE EXTENSION: 19th ACM/IEEE MSWiM 2016 - Malta, Nov 13-17, 2016
Robson De Grande
-
[Haskell] Announce: Haskell Platform 8.0.1
Gershom B
-
[Haskell] 1st CfP: IFL 2016 (28th Symposium on Implementation and Application of Functional Languages)
publicityifl
-
[Haskell] Dev/tools/git/Haskell role in London
Don Stewart
-
[Haskell] CFP: ACM MobiWac 2015 - November 13 - 17, 2016, Malta
Robson De Grande
-
[Haskell] Call for papers: 21th International Conference on Engineering of Complex Computer Systems (ICECCS 2016), Dubai, United Arab Emirates, November 6-8 2016
liyuanfang
-
[Haskell] ANNOUNCE: testbench-0.1.0.0
Ivan Lazar Miljenovic
-
[Haskell] [ANNOUNCE] GHC 8.0.1 is available!
Ben Gamari
-
[Haskell] DSLDI 2016: Call for Talk Proposals
Eric Walkingshaw
-
[Haskell] ANNOUNCE: Sifflet 2.3.0 - recursion learning aid / visual programming language
gdweber
-
[Haskell] CFP (Approaching Deadline): IEEE DS-RT 2016 - Special Session tracks
Robson De Grande
-
[Haskell] [ANN] Final Call for Papers: Erlang Workshop 2016 -- Submission deadline (3 June) approaching
Erlang Workshop
-
[Haskell] ANNOUNCE: Haskell Communities and Activities Report (30th ed., May 2016)
Mihai Maruseac
-
[Haskell] CFP (Approaching Deadline): 19th ACM/IEEE MSWiM 2016
Robson De Grande
-
[Haskell] SPLASH'16: 1st Call for Contributions to Collocated Events
Tijs van der Storm
-
[Haskell] Call for contribution, PLRR 2016 (Parametricity, Logical Relations & Realizability), CSL affiliated workshop
Christophe Raffalli
-
[Haskell] [Final CFP] Haskell 2016
Geoffrey Mainland
-
[Haskell] Call for Papers: WFLP 2016 - Workshop on Functional and (Constraint) Logic Programming
Janis Voigtlaender
-
[Haskell] SPLASH-I 2016: Call for Talk Proposals!
Tijs van der Storm
-
[Haskell] SPLASH 2016: Call for Sponsorships
Tijs van der Storm
-
[Haskell] Trustworthy Refactoring project: Research Associate Positions in Refactoring Functional Programs and Formal Verification (for CakeML)
Simon Thompson
-
[Haskell] Summer of Haskell Mentors
Edward Kmett
-
[Haskell] 2-year postdoctoral position in programming languages at LFCS
James Cheney
-
[Haskell] CFP: WADT 2016
JAMES P. (366409)
-
[Haskell] LPTI'16 Call for Papers
Frantisek Farka
-
[Haskell] NFM 2016 - Call for participation
Klaus Havelund
-
[Haskell] PPDP 2016 - Last Call for Papers
German Vidal
-
[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
-
[Haskell] [TFP'16] call for participation
Peter Achten
-
[Haskell] LOPSTR 2016 Call for Papers
Manuel Hermenegildo
-
[Haskell] Final Call for Papers: Special Issue of the SCP on Automated Verification of Critical Systems
Lin, Yuhui
-
[Haskell] ANN: Haskell Prime 2020 committee has formed
Herbert Valerio Riedel
-
[Haskell] Summer of Haskell - Now Accepting Applications!
Gershom B
-
[Haskell] [ANN] Erlang Workshop 2016 - CFP
Erlang Workshop
-
[Haskell] Postdoc ad: Domain-specific languages
Kathleen Fisher
-
[Haskell] JLAMP special issue for PLACES
Dominic Orchard
-
[Haskell] ANN: shine and shine-varying: Lightweight declarative 2D graphics à la gloss using GHCJS (and a FRP interface)
Francesco Gazzetta
-
[Haskell] Haskell in Leipzig 2016: Call for Papers
Joachim Breitner
-
[Haskell] Functional Art, Music, Modelling and Design 2016: 2nd Call For Papers
Michael Sperber
-
[Haskell] LumiGuide is hiring
Bas van Dijk
-
[Haskell] Paul Hudak Memorial Symposium
John Peterson
-
[Haskell] [TFP 2016] extended deadline, april 25 2016, final call for papers
Peter Achten
-
[Haskell] JTRES 2016 Call for Papers
Andrea Rosa
-
[Haskell] ARRAY 2016: Final call for papers
Clemens Grelck
-
[Haskell] 18th International Symposium on Principles and Practice of Declarative Programming PPDP 2016 - 2nd call for papers
German Vidal
-
[Haskell] CFP SBLP 2016: 20th Brazilian Symposium on Programming Languages *** Deadline for Abstracts Approaching***
Andre Rauber Du Bois
-
[Haskell] Managed Languages Conference: PPPJ 2016 Call for Papers
Andrea Rosa
-
[Haskell] Call for Contributions - Haskell Communities and Activities Report, May 2016 edition (30th edition)
Mihai Maruseac
-
[Haskell] CFP: Functional High Performance Computing 2016
David Duke
-
[Haskell] Haskell hacking internships at LANL (Fall 2016, undergraduate)
Kei Davis
-
[Haskell] [TFP 2016] Final call for papers
Peter Achten
-
[Haskell] ARRAY 2016 extended deadline: April 11
Clemens Grelck
-
[Haskell] Postdoc ad: quantum-computing programming languages
Scott Pakin
-
[Haskell] [2nd CFP] Haskell Symposium 2016
Geoffrey Mainland
-
[Haskell] ARRAY 2016 2nd Call for Papers
Clemens Grelck
-
[Haskell] Three Haskell dev roles at Standard Chartered
Don Stewart
-
[Haskell] [TFPIE 2016] 2nd call for papers
Peter Achten
-
[Haskell] CFP: Workshop on Type-driven Development (TyDe '16)
Wouter Swierstra
-
[Haskell] CUFP 2016 Call for Presentations
Alex Lang
-
[Haskell] Second Call for Papers: Special Issue of the SCP on Automated Verification of Critical Systems
Lin, Yuhui
-
[Haskell] CFP SBLP 2016: 20th Brazilian Symposium on Programming Languages
Andre Rauber Du Bois
-
[Haskell] CfP WPTE 2016 (affiliated with FSCD 2016)
Horatiu Cirstea
-
[Haskell] Upcoming deadlines SPLASH'16 in Amsterdam: OOPSLA & Onward!
Tijs van der Storm
-
[Haskell] ICFP 2016 Call for Sponsorships
Lindsey Kuper
-
[Haskell] [ANN] brick-users discussion list
Jonathan Daugherty
-
[Haskell] Call for Participation: PLACES 2016
Dominic Orchard
-
[Haskell] ICFP 2016 Final Call for Papers
Lindsey Kuper
-
[Haskell] First Call For Papers -- Erlang Workshop 2016
Erlang Workshop
-
[Haskell] [TFP 2016] 2nd call for papers
Peter Achten
-
[Haskell] Haskell Summer of Code
Edward Kmett
-
[Haskell] ANNOUNCE: Applied Functional Programming (AFP) Summerschool 4-15 July 2016, Utrecht, Netherlands
Atze Dijkstra
-
[Haskell] Call for Participation: MSFP 2016
Bob Atkey
-
[Haskell] PPDP 2016: First Call for Papers
German Vidal
-
[Haskell] ANN: tasty-discover
lwm
-
[Haskell] ARRAY 2016 Call for Papers
Clemens Grelck
-
[Haskell] Call for Papers and Demos: Functional Art, Music, Modelling and Design
Michael Sperber
-
[Haskell] [TFPIE 2016] 1st call for papers
Peter Achten
-
[Haskell] ETAPS 2016 call for participation
Tarmo Uustalu
-
[Haskell] ANN: remote-json, a JSON RPC library, released
Andrew Gill
-
[Haskell] Postdoctoral position in Functional, Constraint and/or Logic Programming
Tom Schrijvers
-
[Haskell] ICFP 2016 Second Call for Papers
Lindsey Kuper
-
[Haskell] Call for PhD students: Logical Methods in Computer Science (Vienna, Austria)
Igor Konnov
-
[Haskell] ANNOUNCE: hoppy, qtah
Bryan Gardiner
-
[Haskell] PROHA 2016 (@ CGO'16): Early Registration Deadline (Feb 3)
Salvador Tamarit
-
[Haskell] [TFP 2016] 1st call for papers
Peter Achten
-
[Haskell] ANNOUNCE: call-haskell-from-anything 1.0
Niklas Hambüchen
-
[Haskell] ETAPS 2017 call for satellite events
Tarmo Uustalu
-
[Haskell] NFM 2016 - third call for papers
Klaus Havelund
-
[Haskell] ANNOUNCE: Haskell for Mac, 1.1
Manuel M T Chakravarty
-
[Haskell] 2nd CFP. Int. Conf. Graph Transformation, Vienna July 2016
Rachid Echahed
-
[Haskell] 1st Call for Contributions for SPLASH'16: OOPSLA, Onward!, Workshops, DLS, SLE, GPCE
Tijs van der Storm
-
[Haskell] Haskell dev roles with Strats at Standard Chartered
Don Stewart
-
[Haskell] CfP: Workshop on Program Transformation for Programmability in Heterogeneous Architectures (Co-located with CGO16); Deadline Jan 22 [Extended]
Salvador Tamarit
-
[Haskell] Call for Participation: BOB 2016 (February 19, Berlin)
Stefan Wehr
-
[Haskell] Reminder: Call for papers EOOLT 2016
Henrik Nilsson
-
[Haskell] MSFP 2016: Final Call for Papers
Bob Atkey
-
[Haskell] ANN: true-name 0.1.0.0 released
Liyang HU
-
[Haskell] ETAPS 2016 satellite workshops joint call for papers
Tarmo Uustalu
-
[Haskell] NFM 2016 - second call for papers
Klaus Havelund
-
[Haskell] Call for Papers (TASE 2016)
Huibiao Zhu
-
[Haskell] LSFA 2016 - First Call for Papers
Mário Florido