49
Publications
2.3K
Citations
27
H-Index
1998
Active since
Affiliations
Ralf Hinze is an author at University of Bonn specializing in engineering, computer science, and formal methods.
Top concepts
EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationProgram AnalysisSoftware AnalysisComputational ComplexityData ScienceProgramming Languages
Publications per year
1998–2018
49
49
Haskell 98 — A Non−strict‚ Purely Functional Language
Ralf Hinze · 1999 · 208 citations
James Cheney, Ralf Hinze · eCommons (Cornell University) · 2003 · 180 citations · Full text
A new approach to generic functional programming
Ralf Hinze · 2000 · 143 citations · Full text
Mathematical Programming, Engineering, Generic Programming +13
A lightweight implementation of generics and dynamics
James Cheney, Ralf Hinze · 2002 · 123 citations
Ralf Hinze, Simon Peyton Jones · Electronic Notes in Theoretical Computer Science · 2001 · 116 citations · Full text
Rows per page
1–5 of 49