The following pages link to Ralf Hinze (Q700973):
Displaying 9 items.
- Generic Programming (Q5187876) (← links)
- Generic Programming (Q5187877) (← links)
- Unifying structured recursion schemes (Q5244801) (← links)
- PROLOG'S CONTROL CONSTRUCTS IN A FUNCTIONAL SETTING — AXIOMS AND IMPLEMENTATION (Q5249252) (← links)
- Mathematics of Program Construction (Q5313086) (← links)
- Unifying structured recursion schemes (Q5371980) (← links)
- A Duality of Sorts (Q5410453) (← links)
- Generics for the masses (Q5482280) (← links)
- Certified, total serialisers with an application to Huffman encoding (Q6131899) (← links)
