Stop the war!
Остановите войну!
for scientists:
default search action
9th MSFP@ETAPS 2022: Munich, Germany
- Jeremy Gibbons, Max S. New:
Proceedings Ninth Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2022, Munich, Germany, 2nd April 2022. EPTCS 360, 2022 - Martin Elsman, Fritz Henglein, Robin Kaarsgaard, Mikkel Kragh Mathiesen, Robert Schenck:
Combinatory Adjoints and Differentiation. 1-26 - Mathieu Montin, Amélie Ledein, Catherine Dubois:
LibNDT: Towards a Formal Library on Spreadable Properties over Linked Nested Datatypes. 27-44 - Peter Kourzanov:
Tableless Calculation of Circular Functions on Dyadic Rationals. 45-70 - Fritz Henglein, Robin Kaarsgaard, Mikkel Kragh Mathiesen:
The Programming of Algebra. 71-92 - Joris Ceulemans, Andreas Nuyts, Dominique Devriese:
Sikkel: Multimode Simple Type Theory as an Agda Library. 93-112 - Dylan McDermott, Tarmo Uustalu:
What Makes a Strong Monad? 113-133 - Alexandre Garcia de Oliveira, Mauro Jaskelioff, Ana Cristina Vieira de Melo:
On Structuring Functional Programs with Monoidal Profunctors. 134-150
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.