default search action

combined dblp search
author search
venue search
publication search

ask others

9th MSFP@ETAPS 2022: Munich, Germany

> Home > Conferences and Workshops > MSFP
> Home > Conferences and Workshops > ETAPS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2206-09534
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2206-09534
Jeremy Gibbons, Max S. New:
Proceedings Ninth Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2022, Munich, Germany, 2nd April 2022. EPTCS 360, 2022
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2207-00847
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2207-00847
Martin Elsman, Fritz Henglein, Robin Kaarsgaard, Mikkel Kragh Mathiesen, Robert Schenck:
Combinatory Adjoints and Differentiation. 1-26
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2207-03994
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2207-03994
Mathieu Montin, Amélie Ledein, Catherine Dubois:
LibNDT: Towards a Formal Library on Spreadable Properties over Linked Nested Datatypes. 27-44
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2207-00849
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2207-00849
Peter Kourzanov:
Tableless Calculation of Circular Functions on Dyadic Rationals. 45-70
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2207-00850
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2207-00850
Fritz Henglein, Robin Kaarsgaard, Mikkel Kragh Mathiesen:
The Programming of Algebra. 71-92
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2207-00843
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2207-00843
Joris Ceulemans, Andreas Nuyts, Dominique Devriese:
Sikkel: Multimode Simple Type Theory as an Agda Library. 93-112
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2207-00851
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2207-00851
Dylan McDermott, Tarmo Uustalu:
What Makes a Strong Monad? 113-133
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2207-00852
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2207-00852
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.