Ralf Hinze

Best Publications

• First-Class Phantom Types

  James Cheney;Ralf Hinze

  296
  Citations

• Haskell 98 — A Non−strict‚ Purely Functional Language

  Unknown

  208
  Citations

• Derivable Type Classes

  Ralf Hinze;Simon L. Peyton Jones

  158
  Citations

• A lightweight implementation of generics and dynamics

  James Cheney;Ralf Hinze

  151
  Citations

• A new approach to generic functional programming

  Unknown

  143
  Citations

• Generic Haskell: practice and theory

  Ralf Hinze;Johan Jeuring

  138
  Citations

• Comparing approaches to generic programming in Haskell

  R. Hinze;J.T. Jeuring;A. Löh

  124
  Citations

• Finger trees: a simple general-purpose data structure

  Unknown

  101
  Citations

• Type-Indexed Data Types

  Ralf Hinze;Johan Jeuring;Andres Löh

  94
  Citations

• Typed contracts for functional programming

  Ralf Hinze;Johan Jeuring;Andres Löh

  90
  Citations

• Deriving backtracking monad transformers

  Unknown

  86
  Citations

• Polytypic values possess polykinded types

  Unknown

  86
  Citations

• Generalizing generalized tries

  Unknown

  79
  Citations

• Comparing approaches to generic programming in Haskell

  Ralf Hinze;Johan Jeuring;Andres Löh

  74
  Citations

• Effect handlers in scope

  Unknown

  68
  Citations

• Just do it

  Unknown

  62
  Citations

• Open data types and open functions

  Unknown

  61
  Citations

• Generics for the masses

  Unknown

  60
  Citations

• Generic Haskell: Applications

  Ralf Hinze;Johan Jeuring

  58
  Citations

• Just do it

  Unknown

  49
  Citations