Quantcast

Haskell - Haskell

This forum is an archive for the mailing list haskell@haskell.org (more options) Messages posted here will be sent to this mailing list.
The Haskell Mailing List
1234 ... 125
Topics (4343)
Replies Last Post Views
CFP: Workshop on Type-driven Development (TyDe '16) by Wouter Swierstra-2
0
by Wouter Swierstra-2
1st CfP: IFL 2016 (28th Symposium on Implementation and Application of Functional Languages) by publicityifl
0
by publicityifl
Dev/tools/git/Haskell role in London by Don Stewart
0
by Don Stewart
CFP: ACM MobiWac 2015 - November 13 - 17, 2016, Malta by Robson De Grande
0
by Robson De Grande
Call for papers: 21th International Conference on Engineering of Complex Computer Systems (ICECCS 2016), Dubai, United Arab Emirates, November 6-8 2016 by Yuan-Fang Li
0
by Yuan-Fang Li
ANNOUNCE: testbench-0.1.0.0 by Ivan Lazar Miljenovi...
0
by Ivan Lazar Miljenovi...
[ANNOUNCE] GHC 8.0.1 is available! by Ben Gamari-3
0
by Ben Gamari-3
DSLDI 2016: Call for Talk Proposals by Eric Walkingshaw
0
by Eric Walkingshaw
ANNOUNCE: Sifflet 2.3.0 - recursion learning aid / visual programming language by gdweber
0
by gdweber
CFP (Approaching Deadline): IEEE DS-RT 2016 - Special Session tracks by Robson De Grande
0
by Robson De Grande
[ANN] Final Call for Papers: Erlang Workshop 2016 -- Submission deadline (3 June) approaching by Erlang Workshop
0
by Erlang Workshop
ANNOUNCE: Haskell Communities and Activities Report (30th ed., May 2016) by Mihai Maruseac
0
by Mihai Maruseac
CFP (Approaching Deadline): 19th ACM/IEEE MSWiM 2016 by Robson De Grande
0
by Robson De Grande
SPLASH'16: 1st Call for Contributions to Collocated Events by Tijs van der Storm
0
by Tijs van der Storm
Call for contribution, PLRR 2016 (Parametricity, Logical Relations & Realizability), CSL affiliated workshop by Christophe Raffalli-...
0
by Christophe Raffalli-...
[Final CFP] Haskell 2016 by Geoffrey Mainland-5
0
by Geoffrey Mainland-5
Call for Papers: WFLP 2016 - Workshop on Functional and (Constraint) Logic Programming by Janis Voigtländer-2
0
by Janis Voigtländer-2
SPLASH-I 2016: Call for Talk Proposals! by Tijs van der Storm
0
by Tijs van der Storm
SPLASH 2016: Call for Sponsorships by Tijs van der Storm
0
by Tijs van der Storm
Trustworthy Refactoring project: Research Associate Positions in Refactoring Functional Programs and Formal Verification (for CakeML) by Simon Thompson
0
by Simon Thompson
Summer of Haskell Mentors by Edward Kmett-2
0
by Edward Kmett-2
2-year postdoctoral position in programming languages at LFCS by James Cheney
0
by James Cheney
LPTI'16 Call for Papers by Frantisek Farka
0
by Frantisek Farka
CFP: WADT 2016 by JAMES P. (366409)
0
by JAMES P. (366409)
NFM 2016 - Call for participation by Klaus Havelund
0
by Klaus Havelund
PPDP 2016 - Last Call for Papers by German Vidal
0
by German Vidal
Call for Papers: OCL and Textual Modeling Tools and Textual Model Transformations (OCL 2016) - Submit Your Paper Until July 17, 2016 by Achim D. Brucker
0
by Achim D. Brucker
[TFP'16] call for participation by Peter Achten
0
by Peter Achten
Call for Contributions - Haskell Communities and Activities Report, May 2016 edition (30th edition) by Mihai Maruseac
1
by Ben Gamari-3
LOPSTR 2016 Call for Papers by Manuel Hermenegildo
0
by Manuel Hermenegildo
Final Call for Papers: Special Issue of the SCP on Automated Verification of Critical Systems by YuHui Lin
0
by YuHui Lin
ANN: Haskell Prime 2020 committee has formed by Herbert Valerio Ried...
0
by Herbert Valerio Ried...
Summer of Haskell - Now Accepting Applications! by Gershom Bazerman
0
by Gershom Bazerman
[ANN] Erlang Workshop 2016 - CFP by Erlang Workshop
0
by Erlang Workshop
Postdoc ad: Domain-specific languages by Kathleen Fisher-2
0
by Kathleen Fisher-2
1234 ... 125