search result

Cover von Einführung in die funktionale Programmierung mit Miranda
Author: Hinze, Ralf Search for this author
Year: 1992
Publisher: Stuttgart, Teubner
Media group: MONOGRAPHIE
Cover von Implementation and Application of Functional Languages
24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers
Search for this author
Year: 2013
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 8241
Media group: MONOGRAPHIE
Cover von Special issue on functional pearls; 6
S. 601-763
Search for this author
Year: 2004
Publisher: Cambridge, Cambridge University Press
Count: 6
Media group: SPECIAL ISSUE
Cover von Projection-based strictness analysis
theoretical and practical aspects
Author: Hinze, Ralf Search for this author
Year: 1995
Publisher: Bonn, Univ.
Media group: DISSERTATION
Cover von Deduktive Datenbanken
eine Einführung aus der Sicht der logischen Programmierung
Author: Cremers, Armin B.; Griefahn, Ulrike; Hinze, Ralf Search for this author
Year: 1994
Publisher: Braunschweig, Vieweg
Series: Artificial Intelligence / Künstliche Intelligenz
Media group: MONOGRAPHIE
Cover von Mathematics of Program Construction
12th International Conference, MPC 2015, Königswinter, Germany, June 29 - July 1, 2015. Proceedings
Search for this author
Year: 2015
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 9129
Media group: MONOGRAPHIE
Cover von Type-indexed data types

Type-indexed data types

article
Year: 2004
Media group: ARTICLE
Cover von Datatype-generic programming
international spring school : Nottingham, UK, April 24 - 27, 2006 : revised lectures
Search for this author
Year: 2007
Publisher: Berlin, Springer
Series: Lecture notes in computer science : tutorial; 4719
Media group: MONOGRAPHIE
OPEN V 11.1.0.0