default search action

combined dblp search
author search
venue search
publication search

ask others

14th MPC 2022: Tbilisi, Georgia

> Home > Conferences and Workshops > MPC

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:
  - conf/mpc/2022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/2022
Ekaterina Komendantskaya:
Mathematics of Program Construction - 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings. Lecture Notes in Computer Science 13544, Springer 2022, ISBN 978-3-031-16911-3
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/GibbonsKSW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/GibbonsKSW22
Jeremy Gibbons, Donnacha Oisín Kidney, Tom Schrijvers, Nicolas Wu:
Breadth-First Traversal via Staging. 1-33
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/HewerH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/HewerH22
Brandon Hewer, Graham Hutton:
Subtyping Without Reduction. 34-61
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/mpc/HinzeS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/HinzeS22
Ralf Hinze, Wouter Swierstra:
Calculating Datastructures. 62-101
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/McDermottU22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/McDermottU22
Dylan McDermott, Tarmo Uustalu:
Flexibly Graded Monads and Graded Algebras. 102-128
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/NguyenW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/NguyenW22
Minh Nguyen, Nicolas Wu:
Folding over Neural Networks. 129-150
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/SaitoA22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/SaitoA22
Ayumu Saito, Reynald Affeldt:
Towards a Practical Library for Monadic Equational Reasoning in Coq. 151-177
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/SulzmannW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/SulzmannW22
Martin Sulzmann, Stefan Wehr:
Semantic Preservation for a Type Directed Translation Scheme of Featherweight Go. 178-197
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/VeltriV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/VeltriV22
Niccolò Veltri, Niels F. W. Voorneveld:
Streams of Approximations, Equivalence of Recursive Effectful Programs. 198-221
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/YangW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/YangW22
Zhixuan Yang, Nicolas Wu:
Fantastic Morphisms and Where to Find Them - A Guide to Recursion Schemes. 222-267

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.