The following pages link to Ralf Hinze (Q700973):
Displaying 28 items.
- Polytypic values possess polykinded types (Q700974) (← links)
- Generic programming in 3D (Q923888) (← links)
- Type-indexed data types (Q1881268) (← links)
- Self-certifying railroad diagrams. Or: how to teach nondeterministic finite automata (Q2176674) (← links)
- Equational reasoning with lollipops, forks, cups, caps, snakes, and speedometers (Q2374309) (← links)
- (Q2721090) (← links)
- (Q2726288) (← links)
- Manufacturing datatypes (Q2757102) (← links)
- (Q2766767) (← links)
- Conjugate Hylomorphisms -- Or (Q2819837) (← links)
- Kan Extensions for Program Optimisation Or: Art and Dan Explain an Old Trick (Q2908573) (← links)
- Functional pearl (Q2936797) (← links)
- Sorting and Searching by Distribution: From Generic Discrimination to Generic Tries (Q2937795) (← links)
- Deriving backtracking monad transformers (Q2943369) (← links)
- Bootstrapping one-sided flexible arrays (Q2949186) (← links)
- Typed quote/antiquote or: Compile-time parsing (Q3016212) (← links)
- Concrete stream calculus: An extended study (Q3021409) (← links)
- Type Fusion (Q3067469) (← links)
- (Q3130262) (← links)
- Weaving a web (Q3150211) (← links)
- Dragging Proofs Out of Pictures (Q3188284) (← links)
- Finger trees: a simple general-purpose data structure (Q3377461) (← links)
- “Scrap Your Boilerplate” Reloaded (Q3434621) (← links)
- Typed Contracts for Functional Programming (Q3434634) (← links)
- Generic Programming (Q5187876) (← links)
- Generic Programming (Q5187877) (← links)
- Mathematics of Program Construction (Q5313086) (← links)
- Certified, total serialisers with an application to Huffman encoding (Q6131899) (← links)
