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 ... 147
Topics (5129)
Replies Last Post Views
ANNOUNCE: mmsyn4 -- the program mmsyn4 converts a specially formatted .csv file with a colon as a field separator obtained from the electronic table into a visualized by GraphViz graph. by Haskell - Haskell ma...
0
by Haskell - Haskell ma...
ANNOUNCE: mmsyn3 -- a small library to deal with executable endings. Uses a Maybe data representation inside an IO monad. by Haskell - Haskell ma...
0
by Haskell - Haskell ma...
[TFP'20] one month left for pre-symposium submissions for Trends in Functional Programming 2020, 13-14 February, Krakow, Poland by Peter Achten
0
by Peter Achten
Call for participation CRiSIS 2019 by SAOUSSEN CHEIKHROUHO...
0
by SAOUSSEN CHEIKHROUHO...
Invitation to the 2nd European Forum for the SARL Users and Developers (EuSarlCon-20) by Yazan Mualla
0
by Yazan Mualla
CFP - The 4th International Workshop on Agent-based Modeling and Applications with SARL (SARL-20) by Yazan Mualla
1
by Yazan Mualla
[EDI-2020] Call for workshop proposals: 3rd International Conference on Emerging Data and Industry 4.0. Warsaw, Poland (April 6-9, 2020) by Wim Ectors
0
by Wim Ectors
[ABMTRANS-2020] 9th International Workshop on Agent-based Mobility, Traffic and Transportation Models, Methodologies and Applications. Warsaw, Poland (April 6-9, 2020) by Wim Ectors
0
by Wim Ectors
FM'19 - 2nd Call for Participation by Renato Neves
1
by Renato Neves
ANNOUNCE: mmsyn2 -- a new library instead of deprecated mm2 by Haskell - Haskell ma...
0
by Haskell - Haskell ma...
ANNOUNCE: mm2: The library that can be used for optimization of multiple (Ord a) => a -> b transformations by Haskell - Haskell ma...
7
by Haskell - Haskell ma...
ANNOUNCE: mm2 -- the library that can be used for optimization of multiple (Ord a) => a -> b transformations by Haskell - Haskell ma...
0
by Haskell - Haskell ma...
Call for Contributions: BOB 2020 [Feb 28, Deadline Nov 8] by Stefan Wehr-2
0
by Stefan Wehr-2
FLOPS 2020 First Call for papers by Keisuke Nakano
0
by Keisuke Nakano
NWPT 2019 submission deadline extended by Tarmo Uustalu
0
by Tarmo Uustalu
Invitation to the 2nd European Forum for the SARL Users and Developers (EuSarlCon-20) by Yazan Mualla
0
by Yazan Mualla
CFP for Certified Programs and Proofs (CPP 2020) by Dominique DEVRIESE
0
by Dominique DEVRIESE
SPLASH 2019 Call for Participation (early reg.: Sep.20!) by Aggelos Biboudis
0
by Aggelos Biboudis
SLE 2019: Call for Endorsements - Most Influential Paper (MIP) Award by Andrei Chis-2
0
by Andrei Chis-2
PEPM 2020 Call for Papers by Casper Bach Poulsen
0
by Casper Bach Poulsen
ETAPS 2020 2nd joint call for papers by Tarmo Uustalu
0
by Tarmo Uustalu
First call for draft papers for TFPIE 2020 (Trends in Functional Programming in Education) by Jurriaan Hage-2
0
by Jurriaan Hage-2
First call for participation for IFL 2019 (Implementation and Application of Functional Languages) by Jurriaan Hage-2
0
by Jurriaan Hage-2
Permenent Faculty Position in PL at University of Bristol by Meng Wang-3
0
by Meng Wang-3
[TFP'20] first call for papers: Trends in Functional Programming 2020, 13-14 February, Krakow, Poland by Peter Achten
0
by Peter Achten
Declare 2019 - Call for Participation by Petra Hofstedt (BTU)
0
by Petra Hofstedt (BTU)
Call for Participation: Summer BOB 2019 (August 21, Berlin) by Stefan Wehr-2
0
by Stefan Wehr-2
ETAPS 2020 1st joint call for papers by Tarmo Uustalu
0
by Tarmo Uustalu
Formal Methods 2019 - Call for Participation by Renato Neves
0
by Renato Neves
Final call for draft papers for IFL 2019 (Implementation and Application of Functional Languages) by Jurriaan Hage-2
0
by Jurriaan Hage-2
UNSW postdoc position for Verified Time Protection by Klein, Gerwin (Data6...
0
by Klein, Gerwin (Data6...
MPC 2019 - Call for Participation by Graham Hutton-2
0
by Graham Hutton-2
Second Call for Participation: ICFP 2019 by Haskell - Haskell ma...
0
by Haskell - Haskell ma...
CFP: JFP special issue on Gradual Typing by Amal Ahmed-2
0
by Amal Ahmed-2
EUSPN 2019 (Final Submission Date, July 15): The 10th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (Coimbra, Portugal: November 4-7) by Davidekova Monika
2
by Davidekova Monika
1234 ... 147