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
https://portal.mardi4nfdi.de/entity/Q4992897	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	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	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