Fritz Henglein

Available identifiers

zbMath Open henglein.fritzMaRDI QIDQ656872

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q6068932	2023-12-15	Paper
https://portal.mardi4nfdi.de/entity/Q6068926	2023-12-15	Paper
Algeo: an algebraic approach to reversibility	2022-11-11	Paper
Infinitary axiomatization of the equational theory of context-free languages	2021-06-10	Paper
Infinitary axiomatization of the equational theory of context-free languages	2017-11-10	Paper
Kleenex: compiling nondeterministic transducers to deterministic streaming transducers	2016-10-24	Paper
Modal intersection types, two-level languages, and staged synthesis	2016-03-23	Paper
Generic discrimination: sorting and partitioning unshared data in linear time	2015-03-16	Paper
Optimally streaming greedy regular expression parsing	2015-01-13	Paper
Sorting and searching by distribution: from generic discrimination to generic tries	2015-01-12	Paper
Regular expression containment, coinductive axiomatization and computational interpretation	2014-04-10	Paper
Generic top-down discrimination for sorting and partitioning in linear time	2014-02-27	Paper
Two-pass greedy regular expression parsing	2013-08-07	Paper
Dynamic symbolic computation for domain-specific language implementation	2013-03-13	Paper
Rock’n’Roll Computer Science	2012-07-16	Paper
Generic multiset programming with discrimination-based joins and symbolic Cartesian products	2012-01-13	Paper
Bit-coded Regular Expression Parsing	2011-06-03	Paper
What is a sorting function?	2009-09-29	Paper
POETS: process-oriented event-driven transaction systems	2009-07-20	Paper
The complexity of type inference for higher-order typed lambda calculi	1995-12-13	Paper
Dynamic typing: Syntax and proof theory	1994-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q4035254	1993-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4016518	1993-01-16	Paper

Research outcomes over time

This page was built for person: Fritz Henglein