Fritz Henglein

Available identifiers

zbMath Open henglein.fritzMaRDI QIDQ656872

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q6068926	2023-12-15	Paper
https://portal.mardi4nfdi.de/entity/Q6068932	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Fritz Henglein