Mathematically Structured Functional Programming

7th MSFP@FSCD 2018: Oxford, UK

6th MSFP@ETAPS 2016: Eindhoven, The Netherlands

5th MSFP@ETAPS 2014: Grenoble, France

4th MSFP@ETAPS 2012: Tallinn, Estonia

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

MSFP 2010 Home Page

2nd MSFP@ICALP 2008: Reykjavik, Iceland

ENTCS 229(5)

1st MSFP@MPC 2006: Kuressaare, Estonia

MSFP 2006 Home Page

maintained by Schloss Dagstuhl LZI at University of Trier