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)

Generic Programming, Now!

Hinze, Ralf, Löh, Andres

In Backhouse, Roland et al. , editors, Datatype-Generic Programming 2006 Vol. 4719 of LNCS, pages 150—208. Springer. 2007.

To appear.

Details | BibTeX

Generic Programming in 3D

Hinze, Ralf, Löh, Andres

Science of Computer Programming, 2007.

to appear.

Details | BibTeX

Comparing Approaches to Generic Programming

Hinze, Ralf, Jeuring, Johan and Löh, Andres

In Backhouse, Roland et al. , editors, Datatype-Generic Programming 2006 Vol. 4719 of LNCS. Springer. 2007.

To appear.

Details | BibTeX

info

themes	Software Engineering \| Programming Languages
activities	Functional Programming \| Algebra of Programming
students	Tom Harper \| Daniel James