Ralf Hinze
|
Dr
Ralf
Hinze
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
| 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 |