www.comlab.ox.ac.uk/ralf.hinze/index.html

Ralf Hinze

Personal photo - Ralf Hinze

Dr  Ralf  Hinze 



Reader in Software Engineering



+44 (0)1865 6-10700

+44 (0)1865 273839 (fax)

Wolfson Building, Parks Road, Oxford OX1 3QD

Interests

My research centers around functional programming. I am particularly interested in functional algorithm design and purely functional data structures. At the moment I am mainly working on generic functional programming (Generic Haskell). In the past I worked on strictness analysis and type systems.

Biography

I joined Oxford University in October 2007. Before, I was a lecturer in the Institut für Informatik III at Universität Bonn.

Selected Publications

View all

Haskell 98 —- A Non-strict, Purely Functional Language

Peyton Jones [editor] et al.

Available from http://www.haskell.org/definition/. February, 1999.

Standard Libraries for the Haskell 98 Programming Language

Peyton Jones [editor] et al.

Available from http://www.haskell.org/definition/. February, 1999.

Open data types and open functions

Löh, Andres, Hinze and Ralf

In Proceedings of the 8th ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, Venice, Italy. Pages 133-144. ACM-Press. July, 2006.

Info

Themes

Activities

Students