Ralf Hinze

1965

• Datatype-generic Programming
• Deduktive Datenbanken
• Einführung in die funktionale Programmierung mit Miranda
• Implementation and Application of Functional Languages
• Mathematics of Program Construction
• Deduktive Datenbanken