P. Bähr

Available identifiers

Publication	Date of Publication	Type
Modal FRP for all: Functional reactive programming without space leaks in Haskell	2023-06-19	Paper
https://portal.mardi4nfdi.de/entity/Q4993334	2021-06-15	Paper
https://portal.mardi4nfdi.de/entity/Q3388523	2021-05-05	Paper
https://portal.mardi4nfdi.de/entity/Q5854725	2021-03-17	Paper
https://portal.mardi4nfdi.de/entity/Q5144643	2021-01-19	Paper
https://portal.mardi4nfdi.de/entity/Q5111897	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	2019-03-12	Paper
Compiling a 50-year journey	2019-02-20	Paper
Convergence in infinitary term graph rewriting systems is simple	2018-09-05	Paper
Calculating correct compilers	2017-10-23	Paper
Certified symbolic management of financial multi-party contracts	2017-05-10	Paper
Cutting Out Continuations	2016-08-17	Paper
Calculating Certified Compilers for Non-deterministic Languages	2015-08-27	Paper
Proving Correctness of Compilers Using Structured Graphs	2014-07-24	Paper
Partial Order Infinitary Term Rewriting	2014-06-10	Paper
Modular Tree Automata	2012-09-05	Paper
Modes of Convergence for Term Graph Rewriting	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

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: P. Bähr