The following pages link to Ralf Hinze (Q700973):
Displaying 50 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)
- Adjoint Folds and Unfolds (Q3575273) (← links)
- “Scrap Your Boilerplate” Revolutions (Q3618821) (← links)
- The Bird Tree (Q3644933) (← links)
- Purely Functional 1-2 Brother Trees (Q3648351) (← links)
- (Q3836527) (← links)
- (Q4023827) (← links)
- Explaining binomial heaps (Q4256149) (← links)
- (Q4286742) (← links)
- Formatting: a class act (Q4460721) (← links)
- Perfect trees and bit-reversal permutations (Q4507961) (← links)
- Generalizing generalized tries (Q4519172) (← links)
- On constructing 2-3 trees (Q4625161) (← links)
- Parberry’s pairwise sorting network revealed (Q4625162) (← links)
- Generic Programming with Adjunctions (Q4649379) (← links)
- THEORETICAL PEARL Church numerals, twice! (Q4664058) (← links)
- A fresh look at binary search trees (Q4709844) (← links)
- (Q4808691) (← links)
- (Q4808692) (← links)
- Derivable Type Classes (Q4921511) (← links)
- Super-naturals (Q5063250) (← links)
- Just do it (Q5176957) (← links)
- Proving the unique fixed-point principle correct (Q5176987) (← links)
- A simple implementation technique for priority search queues (Q5178002) (← links)
- Generics for the masses (Q5178038) (← links)
- Functional pearl (Q5178763) (← links)
- A new approach to generic functional programming (Q5178848) (← links)
