Patrick Bahr

MaRDI QIDQ667428zbMATH OpenDBLPORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Modal FRP for all: Functional reactive programming without space leaks in Haskell Journal of Functional Programming	2023-06-19	Paper
Strict ideal completions of the lambda calculus (available as arXiv preprint)	2021-06-15	Paper
scientific article; zbMATH DE number 7344705 (Why is no real title available?)	2021-05-05	Paper
scientific article; zbMATH DE number 7344705 (Why is no real title available?) (available as arXiv preprint)	2021-05-05	Paper
Parametric compositional data types	2021-03-17	Paper
Parametric compositional data types (available as arXiv preprint)	2021-03-17	Paper
The clocks are ticking: no more delays!: Reduction semantics for type theory with guarded recursion	2021-01-19	Paper
Infinitary term graph rewriting is simple, sound and complete	2020-05-27	Paper
Böhm Reduction in Infinitary Term Graph Rewriting Systems	2020-05-26	Paper
Numerical investigation of a mixture two-phase flow model in two-dimensional space Computers and Fluids	2019-03-12	Paper
Compiling a 50-year journey Journal of Functional Programming	2019-02-20	Paper
Convergence in infinitary term graph rewriting systems is simple Mathematical Structures in Computer Science	2018-09-05	Paper
Calculating correct compilers Journal of Functional Programming	2017-10-23	Paper
Certified symbolic management of financial multi-party contracts Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming	2017-05-10	Paper
Cutting Out Continuations A List of Successes That Can Change the World	2016-08-17	Paper
Calculating certified compilers for non-deterministic languages Lecture Notes in Computer Science	2015-08-27	Paper
Proving correctness of compilers using structured graphs Functional and Logic Programming	2014-07-24	Paper
Partial Order Infinitary Term Rewriting Logical Methods in Computer Science	2014-06-10	Paper
Modular tree automata Lecture Notes in Computer Science	2012-09-05	Paper
Modes of convergence for term graph rewriting Logical Methods in Computer Science	2012-06-01	Paper
Abstract models of transfinite reductions	2012-04-25	Paper
Partial order infinitary term rewriting and Böhm trees	2012-04-25	Paper
Modes of convergence for term graph rewriting	2012-04-24	Paper
Modes of convergence for term graph rewriting (available as arXiv preprint)	2012-04-24	Paper

Research outcomes over time

This page was built for person: Patrick Bahr