Author

Ralf Hinze

9 books found

Cover of Art of Category Theory

Art of Category Theory

Ralf Hinze, Daniel Marsden · First published 2023

Cover of Introducing String Diagrams

Introducing String Diagrams

Ralf Hinze, Dan Marsden · First published 2023

Cover of Mathematics of Program Construction

Mathematics of Program Construction

Ralf Hinze, Janis Voigtländer · First published 2015

Cover of Implementation and Application of Functional Languages

Implementation and Application of Functional Languages

Ralf Hinze · First published 2013

Cover of Datatype-generic Programming

Datatype-generic Programming

Roland C. Backhouse, Jeremy Gibbons, Ralf Hinze · First published 2008

Placeholder cover for Projection-based strictness analysis

Projection-based strictness analysis

Ralf Hinze · First published 1995

Cover of Deduktive Datenbanken

Deduktive Datenbanken

W. Bibel, Armin B. Cremers, Rudolf Kruse, Ulrike Griefahn, Ralf Hinze · First published 1994

Cover of Deduktive Datenbanken

Deduktive Datenbanken

Armin B. Cremers, Ulrike Griefahn, Ralf Hinze · First published 1994

Cover of Einführung in die funktionale Programmierung mit Miranda

Einführung in die funktionale Programmierung mit Miranda

Ralf Hinze · First published 1991