default search action

combined dblp search
author search
venue search
publication search

ask others

8th MSFP 2020: Dublin, Ireland

> Home > Conferences and Workshops > MSFP

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-2004-14735
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2004-14735
Max S. New, Sam Lindley:
Proceedings Eighth Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2020, Dublin, Ireland, 25th April 2020. EPTCS 317, 2020
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2005-00196
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-00196
Niels F. W. Voorneveld:
From Equations to Distinctions: Two Interpretations of Effectful Computations. 1-17
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2001-10274
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2001-10274
Dominic Orchard, Philip Wadler, Harley Eades III:
Unifying graded and parameterised monads. 18-38
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2005-00197
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-00197
Anne Baanen, Wouter Swierstra:
Combining predicate transformer semantics for effects: a case study in parsing regular languages. 39-56
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2005-00198
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-00198
Artjoms Sinkarovs:
Multi-dimensional Arrays with Levels. 57-71
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2005-00199
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-00199
Christopher Jenkins, Aaron Stump, Larry Diehl:
Efficient lambda encodings for Mendler-style coinductive types in Cedille. 72-97

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.