R
Ralf Hinze
Researcher at University of Oxford
Publications - 105
Citations - 3595
Ralf Hinze is an academic researcher from University of Oxford. The author has contributed to research in topics: Haskell & Functional programming. The author has an hindex of 32, co-authored 103 publications receiving 3477 citations. Previous affiliations of Ralf Hinze include Utrecht University & Kaiserslautern University of Technology.
Papers
More filters
First-Class Phantom Types
James Cheney,Ralf Hinze +1 more
TL;DR: This work proves type soundness and decidability for a Haskell-like language extended by first-class phantom types, which make type constraints explicit via type equations in the datatype cases themselves.
Proceedings ArticleDOI
A new approach to generic functional programming
TL;DR: A new approach to generic functional programming is described, which allows us to define functions generically for all datatypes expressible in Haskell, to model types by terms of the simply typed λ-calculus augmented by a family of recursion operators.
Proceedings ArticleDOI
A lightweight implementation of generics and dynamics
James Cheney,Ralf Hinze +1 more
TL;DR: This paper proposes a particularly lightweight extension that supports both dynamics and generics in Haskell, and makes do with a standard Hindley-Milner type system augmented by existential types.
Journal ArticleDOI
Derivable Type Classes
Ralf Hinze,Simon Jones +1 more
TL;DR: This paper proposes a simple type-class system extension to allow the programmer to write richer contexts than is currently possible within the Haskell language, without radically changing the language or its type system.