Ralf Hinze
Ralf Hinze
Professor of Software Engineering, TU Kaiserslautern
Bestätigte E-Mail-Adresse bei cs.uni-kl.de - Startseite
Titel
Zitiert von
Zitiert von
Jahr
First-class phantom types
J Cheney, R Hinze
Cornell University, 2003
2482003
Haskell 98—A Non− strict ‚Purely Functional Language
P Jones, J Hughes, L Augustsson, D Barton, B Boutel, W Burton, S Fraser, ...
Available from http://www. haskell. org/definition/, 1999
2321999
Report on the programming language Haskell 98
SLP Jones, RJM Hughes, L Augustsson, D Barton, B Boutel, W Burton, ...
1801999
A new approach to generic functional programming
R Hinze
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of …, 2000
1752000
Derivable type classes
R Hinze, SP Jones
Electronic notes in theoretical computer science 41 (1), 5-35, 2001
1502001
A lightweight implementation of generics and dynamics
J Cheney, R Hinze
Proceedings of the 2002 ACM SIGPLAN Workshop on Haskell, 90-104, 2002
1392002
Finger trees: a simple general-purpose data structure
R Hinze, R Paterson
Journal of functional programming 16 (2), 197-218, 2006
1302006
Generic Haskell: practice and theory
R Hinze, J Jeuring
Generic Programming, 1-56, 2003
1302003
Deriving backtracking monad transformers
R Hinze
ACM SIGPLAN Notices 35 (9), 186-197, 2000
1022000
Just do it: simple monadic equational reasoning
J Gibbons, R Hinze
ACM SIGPLAN Notices 46 (9), 2-14, 2011
962011
Polytypic values possess polykinded types
R Hinze
International Conference on Mathematics of Program Construction, 2-27, 2000
912000
Haskell 98–A non-strict, purely functional language
S Peyton Jones, J Hughes, L Augustsson, D Barton, B Boutel, W Burton, ...
841999
Typed contracts for functional programming
R Hinze, J Jeuring, A Löh
International Symposium on Functional and Logic Programming, 208-225, 2006
832006
Fun with phantom types
R Hinze
The fun of programming, 245-262, 2003
832003
“Scrap your boilerplate” reloaded
R Hinze, A Löh, BCS Oliveira
International Symposium on Functional and Logic Programming, 13-29, 2006
802006
Open data types and open functions
A Löh, R Hinze
Proceedings of the 8th ACM SIGPLAN international conference on Principles …, 2006
752006
Generics for the masses
R Hinze
Journal of functional programming 16 (4-5), 451-483, 2006
742006
Polytypic values possess polykinded types
R Hinze
Science of Computer Programming 43 (2-3), 129-159, 2002
722002
Comparing approaches to generic programming in Haskell
R Hinze, J Jeuring, A Löh
International Spring School on Datatype-Generic Programming, 72-149, 2006
712006
Type-indexed data types
R Hinze, J Jeuring, A Löh
International Conference on Mathematics of Program Construction, 148-174, 2002
712002
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20