Seguir
Ralf Hinze
Ralf Hinze
Professor of Software Engineering, TU Kaiserslautern
Dirección de correo verificada de cs.uni-kl.de - Página principal
Título
Citado por
Citado por
Año
First-class phantom types
J Cheney, R Hinze
Cornell University, 2003
3212003
Haskell 98: A non-strict, purely functional language
SP Jones, J Hughes, L Augustsson, D Barton, B Boutel, W Burton, J Fasel, ...
2491999
Report on the programming language Haskell 98
SLP Jones, RJM Hughes, L Augustsson, D Barton, B Boutel, W Burton, ...
1861999
A new approach to generic functional programming
R Hinze
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of …, 2000
1782000
Derivable type classes
R Hinze, SP Jones
Electronic notes in theoretical computer science 41 (1), 5-35, 2001
1632001
Finger trees: a simple general-purpose data structure
R Hinze, R Paterson
Journal of functional programming 16 (2), 197-217, 2006
1512006
A lightweight implementation of generics and dynamics
J Cheney, R Hinze
Proceedings of the 2002 ACM SIGPLAN Workshop on Haskell, 90-104, 2002
1502002
Chapter 1. Generic Haskell: Practice and Theory
R Hinze, J Jeuring
Generic Programming: Advanced Lectures, 1-56, 2003
1412003
Just do it: simple monadic equational reasoning
J Gibbons, R Hinze
ACM SIGPLAN Notices 46 (9), 2-14, 2011
1312011
Report on the programming language Haskell 98, a non-strict purely functional language
SP Jones, J Hughes, L Augustsson, D Barton, B Boutel, W Burton, J Fasel, ...
Yale University, Department of Computer Science Tech Report YALEU/DCS/RR-ll06, 1999
1121999
Deriving backtracking monad transformers
R Hinze
ACM SIGPLAN Notices 35 (9), 186-197, 2000
1092000
Polytypic values possess polykinded types
R Hinze
International Conference on Mathematics of Program Construction, 2-27, 2000
972000
Effect handlers in scope
N Wu, T Schrijvers, R Hinze
Proceedings of the 2014 ACM SIGPLAN Symposium on Haskell, 1-12, 2014
962014
Fun with phantom types
R Hinze
The fun of programming, 245-262, 2003
942003
Open data types and open functions
A Löh, R Hinze
Proceedings of the 8th ACM SIGPLAN international conference on Principles …, 2006
912006
“Scrap your boilerplate” reloaded
R Hinze, A Löh, BCS Oliveira
Functional and Logic Programming: 8th International Symposium, FLOPS 2006 …, 2006
912006
Typed contracts for functional programming
R Hinze, J Jeuring, A Löh
Functional and Logic Programming: 8th International Symposium, FLOPS 2006 …, 2006
892006
Haskell 98–A non-strict, purely functional language
S Peyton Jones, J Hughes, L Augustsson, D Barton, B Boutel, W Burton, ...
871999
Generalizing generalized tries
R Hinze
Journal of Functional Programming 10 (4), 327-351, 2000
862000
Polytypic values possess polykinded types
R Hinze
Science of Computer Programming 43 (2-3), 129-159, 2002
812002
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20