Mathematically Structured Functional Programming

6. MSFP@ETAPS 2016: Eindhoven, The Netherlands

5. MSFP@ETAPS 2014: Grenoble, France

4. MSFP@ETAPS 2012: Tallinn, Estonia

3. MSFP@ICFP 2010: Baltimore, MD, USA

MSFP 2010 Home Page

2. MSFP@ICALP 2008: Reykjavik, Iceland

ENTCS 229(5)

1. MSFP@MPC 2006: Kuressaare, Estonia

MSFP 2006 Home Page

maintained by Schloss Dagstuhl LZI at University of Trier