MSFP@ETAPS

Keyphrases

Publications

2022

Joris Ceulemans, Andreas Nuyts, Dominique Devriese
Sikkel: Multimode Simple Type Theory as an Agda Library. MSFP@ETAPS (2022)
Alexandre Garcia de Oliveira, Mauro Jaskelioff, Ana Cristina Vieira de Melo
On Structuring Functional Programs with Monoidal Profunctors. MSFP@ETAPS (2022)
Peter Kourzanov
Tableless Calculation of Circular Functions on Dyadic Rationals. MSFP@ETAPS (2022)
Dylan McDermott, Tarmo Uustalu
What Makes a Strong Monad? MSFP@ETAPS (2022)
Martin Elsman, Fritz Henglein, Robin Kaarsgaard, Mikkel Kragh Mathiesen, Robert Schenck
Combinatory Adjoints and Differentiation. MSFP@ETAPS (2022)
Fritz Henglein, Robin Kaarsgaard, Mikkel Kragh Mathiesen
The Programming of Algebra. MSFP@ETAPS (2022)
Mathieu Montin, Amélie Ledein, Catherine Dubois
LibNDT: Towards a Formal Library on Spreadable Properties over Linked Nested Datatypes. MSFP@ETAPS (2022)

volume 360, 2022

Proceedings Ninth Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2022, Munich, Germany, 2nd April 2022. MSFP@ETAPS 360 (2022)

2020

volume 317, 2020

Proceedings Eighth Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2020, Dublin, Ireland, 25th April 2020. MSFP@ETAPS 317 (2020)

volume 207, 2016

Proceedings 6th Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2016, Eindhoven, Netherlands, 8th April 2016. MSFP@ETAPS 207 (2016)

volume 153, 2014

Proceedings 5th Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2014, Grenoble, France, 12 April 2014. MSFP@ETAPS 153 (2014)

volume 76, 2012

Proceedings Fourth Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2012, Tallinn, Estonia, 25 March 2012. MSFP@ETAPS 76 (2012)