Patrick Bahr

From MaRDI portal
Person:667428

Available identifiers

zbMath Open bahr.patrickDBLP67/8292WikidataQ57450926 ScholiaQ57450926MaRDI QIDQ667428

List of research outcomes





PublicationDate of PublicationType
Modal FRP for all: Functional reactive programming without space leaks in Haskell2023-06-19Paper
https://portal.mardi4nfdi.de/entity/Q49933342021-06-15Paper
https://portal.mardi4nfdi.de/entity/Q33885232021-05-05Paper
https://portal.mardi4nfdi.de/entity/Q58547252021-03-17Paper
https://portal.mardi4nfdi.de/entity/Q51446432021-01-19Paper
https://portal.mardi4nfdi.de/entity/Q51118972020-05-27Paper
Böhm Reduction in Infinitary Term Graph Rewriting Systems2020-05-26Paper
Numerical investigation of a mixture two-phase flow model in two-dimensional space2019-03-12Paper
Compiling a 50-year journey2019-02-20Paper
Convergence in infinitary term graph rewriting systems is simple2018-09-05Paper
Calculating correct compilers2017-10-23Paper
Certified symbolic management of financial multi-party contracts2017-05-10Paper
Cutting Out Continuations2016-08-17Paper
Calculating Certified Compilers for Non-deterministic Languages2015-08-27Paper
Proving Correctness of Compilers Using Structured Graphs2014-07-24Paper
Partial Order Infinitary Term Rewriting2014-06-10Paper
Modular Tree Automata2012-09-05Paper
Modes of convergence for term graph rewriting2012-06-01Paper
ABSTRACT MODELS OF TRANSFINITE REDUCTIONS2012-04-25Paper
PARTIAL ORDER INFINITARY TERM REWRITING AND BÖHM TREES2012-04-25Paper
Modes of Convergence for Term Graph Rewriting2012-04-24Paper

Research outcomes over time

This page was built for person: Patrick Bahr

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:667428&oldid=7656293"
Powered by MediaWiki