Home Advanced Search

Advanced Search - Page 1

Introducing String Diagrams - The Art of Category Theory
  • PDF
  • English
  • Year: 2023
  • Author: Ralf Hinze, Dan Marsden
Einführung in die funktionale Programmierung mit Miranda
  • DJVU
  • German
  • Year: 1991
  • Author: Dipl.-Inform. Ralf Thomas Walter Hinze (auth.)
Einführung in die funktionale Programmierung mit Miranda
  • PDF
  • German
  • Year: 1991
  • Author: Dipl.-Inform. Ralf Thomas Walter Hinze (auth.)
Deduktive Datenbanken: Eine Einführung aus der Sicht der logischen Programmierung
  • PDF
  • German
  • Year: 1994
  • Author: Armin B. Cremers, Ulrike Griefahn, Ralf Hinze (auth.)
Datatype-Generic Programming. International Spring School, SSDGP 2006
  • PDF
  • english
  • Year: 2007
  • Author: Roland Backhouse, Jeremy Gibbons, Ralf Hinze, Johan Jeuring (eds.)
Implementation and Application of Functional Languages: 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Ralf Hinze (auth.), Sven-Bodo Scholz, Olaf Chitil (eds.)
Implementation and Application of Functional Languages: 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Ralf Hinze (auth.), Sven-Bodo Scholz, Olaf Chitil (eds.)
Mathematics of Program Construction: 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Ralf Hinze (auth.), Philippe Audebaud, Christine Paulin-Mohring (eds.)
Generic Programming: Advanced Lectures
  • PDF
  • English
  • Year: 2003
  • Author: Ralf Hinze, Johan Jeuring (auth.), Roland Backhouse, Jeremy Gibbons (eds.)
Generic Programming: Advanced Lectures
  • PDF
  • English
  • Year: 2003
  • Author: Ralf Hinze, Johan Jeuring (auth.), Roland Backhouse, Jeremy Gibbons (eds.)
search