Search dblp for Publications

export results for "toc:db/conf/mpc/mpc2022.bht:"

 download as .bib file

@inproceedings{DBLP:conf/mpc/GibbonsKSW22,
  author       = {Jeremy Gibbons and
                  Donnacha Ois{\'{\i}}n Kidney and
                  Tom Schrijvers and
                  Nicolas Wu},
  editor       = {Ekaterina Komendantskaya},
  title        = {Breadth-First Traversal via Staging},
  booktitle    = {Mathematics of Program Construction - 14th International Conference,
                  {MPC} 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13544},
  pages        = {1--33},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-16912-0\_1},
  doi          = {10.1007/978-3-031-16912-0\_1},
  timestamp    = {Tue, 18 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/GibbonsKSW22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/HewerH22,
  author       = {Brandon Hewer and
                  Graham Hutton},
  editor       = {Ekaterina Komendantskaya},
  title        = {Subtyping Without Reduction},
  booktitle    = {Mathematics of Program Construction - 14th International Conference,
                  {MPC} 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13544},
  pages        = {34--61},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-16912-0\_2},
  doi          = {10.1007/978-3-031-16912-0\_2},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mpc/HewerH22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/HinzeS22,
  author       = {Ralf Hinze and
                  Wouter Swierstra},
  editor       = {Ekaterina Komendantskaya},
  title        = {Calculating Datastructures},
  booktitle    = {Mathematics of Program Construction - 14th International Conference,
                  {MPC} 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13544},
  pages        = {62--101},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-16912-0\_3},
  doi          = {10.1007/978-3-031-16912-0\_3},
  timestamp    = {Mon, 24 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/HinzeS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/McDermottU22,
  author       = {Dylan McDermott and
                  Tarmo Uustalu},
  editor       = {Ekaterina Komendantskaya},
  title        = {Flexibly Graded Monads and Graded Algebras},
  booktitle    = {Mathematics of Program Construction - 14th International Conference,
                  {MPC} 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13544},
  pages        = {102--128},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-16912-0\_4},
  doi          = {10.1007/978-3-031-16912-0\_4},
  timestamp    = {Tue, 18 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/McDermottU22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/NguyenW22,
  author       = {Minh Nguyen and
                  Nicolas Wu},
  editor       = {Ekaterina Komendantskaya},
  title        = {Folding over Neural Networks},
  booktitle    = {Mathematics of Program Construction - 14th International Conference,
                  {MPC} 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13544},
  pages        = {129--150},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-16912-0\_5},
  doi          = {10.1007/978-3-031-16912-0\_5},
  timestamp    = {Tue, 18 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/NguyenW22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/SaitoA22,
  author       = {Ayumu Saito and
                  Reynald Affeldt},
  editor       = {Ekaterina Komendantskaya},
  title        = {Towards a Practical Library for Monadic Equational Reasoning in Coq},
  booktitle    = {Mathematics of Program Construction - 14th International Conference,
                  {MPC} 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13544},
  pages        = {151--177},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-16912-0\_6},
  doi          = {10.1007/978-3-031-16912-0\_6},
  timestamp    = {Tue, 18 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/SaitoA22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/SulzmannW22,
  author       = {Martin Sulzmann and
                  Stefan Wehr},
  editor       = {Ekaterina Komendantskaya},
  title        = {Semantic Preservation for a Type Directed Translation Scheme of Featherweight
                  Go},
  booktitle    = {Mathematics of Program Construction - 14th International Conference,
                  {MPC} 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13544},
  pages        = {178--197},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-16912-0\_7},
  doi          = {10.1007/978-3-031-16912-0\_7},
  timestamp    = {Tue, 18 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/SulzmannW22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/VeltriV22,
  author       = {Niccol{\`{o}} Veltri and
                  Niels F. W. Voorneveld},
  editor       = {Ekaterina Komendantskaya},
  title        = {Streams of Approximations, Equivalence of Recursive Effectful Programs},
  booktitle    = {Mathematics of Program Construction - 14th International Conference,
                  {MPC} 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13544},
  pages        = {198--221},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-16912-0\_8},
  doi          = {10.1007/978-3-031-16912-0\_8},
  timestamp    = {Mon, 05 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mpc/VeltriV22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mpc/YangW22,
  author       = {Zhixuan Yang and
                  Nicolas Wu},
  editor       = {Ekaterina Komendantskaya},
  title        = {Fantastic Morphisms and Where to Find Them - {A} Guide to Recursion
                  Schemes},
  booktitle    = {Mathematics of Program Construction - 14th International Conference,
                  {MPC} 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13544},
  pages        = {222--267},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-16912-0\_9},
  doi          = {10.1007/978-3-031-16912-0\_9},
  timestamp    = {Tue, 18 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/YangW22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/mpc/2022,
  editor       = {Ekaterina Komendantskaya},
  title        = {Mathematics of Program Construction - 14th International Conference,
                  {MPC} 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13544},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-16912-0},
  doi          = {10.1007/978-3-031-16912-0},
  isbn         = {978-3-031-16911-3},
  timestamp    = {Tue, 27 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mpc/2022.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.