Roland C. Backhouse
Public Domain
Werke:
- Programmkonstruktion und Verifikation
- Generic programming : advanced lectures
- Algebraic and coalgebraic methods in the mathematics of program construction : international summer school and workshop, Oxford, UK, April 10 - 14, 2000 ; revised lectures
- Datatype generic programming : international spring school ; revised lectures