The following pages link to Fritz Henglein (Q656872):
Displayed 23 items.
- Generic multiset programming with discrimination-based joins and symbolic Cartesian products (Q656874) (← links)
- What is a sorting function? (Q843213) (← links)
- Dynamic typing: Syntax and proof theory (Q1330433) (← links)
- Algeo: an algebraic approach to reversibility (Q2097422) (← links)
- POETS: process-oriented event-driven transaction systems (Q2390035) (← links)
- Modal Intersection Types, Two-Level Languages, and Staged Synthesis (Q2796230) (← links)
- Kleenex: compiling nondeterministic transducers to deterministic streaming transducers (Q2828274) (← links)
- Rock’n’Roll Computer Science (Q2897975) (← links)
- Sorting and Searching by Distribution: From Generic Discrimination to Generic Tries (Q2937795) (← links)
- Optimally Streaming Greedy Regular Expression Parsing (Q2938165) (← links)
- Bit-coded Regular Expression Parsing (Q3004600) (← links)
- (Q4016518) (← links)
- (Q4035254) (← links)
- Infinitary Axiomatization of the Equational Theory of Context-Free Languages (Q4589610) (← links)
- The complexity of type inference for higher-order typed lambda calculi (Q4764610) (← links)
- Dynamic Symbolic Computation for Domain-Specific Language Implementation (Q4909310) (← links)
- (Q4992897) (← links)
- Generic discrimination (Q5178758) (← links)
- Two-Pass Greedy Regular Expression Parsing (Q5327483) (← links)
- Generic top-down discrimination for sorting and partitioning in linear time (Q5398338) (← links)
- Regular expression containment (Q5408558) (← links)
- (Q6068926) (← links)
- (Q6068932) (← links)