 | 2009 |
|---|
| 43 |       | Ralf Hinze:
Functional pearl: la tour d'Hanoï.
ICFP 2009: 3-10 |
| 42 | | Ralf Hinze,
Andres Löh:
Generic programming in 3D.
Sci. Comput. Program. 74(8): 590-628 (2009) |
| 2008 |
|---|
| 41 |  | Ralf Hinze,
Don Syme:
Proceedings of the ACM SIGPLAN Workshop on Genetic Programming, WGP 2008, Victoria, BC, Canada, September 20, 2008
ACM 2008 |
| 40 | | Ralf Hinze:
Functional pearl: streams and unique fixed points.
ICFP 2008: 189-200 |
| 39 | | Ralf Hinze:
Exploiting Unique Fixed Points.
MPC 2008: 1 |
| 2007 |
|---|
| 38 | | Ralf Hinze,
Norman Ramsey:
Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1-3, 2007
ACM 2007 |
| 2006 |
|---|
| 37 | | Ralf Hinze:
Proceedings of the ACM SIGPLAN Workshop on Genetic Programming, WGP 2006, Portland, Oregon, USA, September 16, 2006
ACM 2006 |
| 36 | | Ralf Hinze,
Andres Löh,
Bruno C. D. S. Oliveira:
"Scrap Your Boilerplate" Reloaded.
FLOPS 2006: 13-29 |
| 35 | | Ralf Hinze,
Johan Jeuring,
Andres Löh:
Typed Contracts for Functional Programming.
FLOPS 2006: 208-225 |
| 34 | | Ralf Hinze,
Andres Löh:
"Scrap Your Boilerplate" Revolutions.
MPC 2006: 180-208 |
| 33 | | Andres Löh,
Ralf Hinze:
Open data types and open functions.
PPDP 2006: 133-144 |
| 32 | | Bruno C. D. S. Oliveira,
Ralf Hinze,
Andres Löh:
Extensible and modular generics for the masses.
Trends in Functional Programming 2006: 199-216 |
| 31 | | Ralf Hinze,
Ross Paterson:
Finger trees: a simple general-purpose data structure.
J. Funct. Program. 16(2): 197-217 (2006) |
| 30 | | Ralf Hinze:
Generics for the masses.
J. Funct. Program. 16(4-5): 451-483 (2006) |
| 2005 |
|---|
| 29 | | Ralf Hinze:
Church numerals, twice!
J. Funct. Program. 15(1): 1-13 (2005) |
| 2004 |
|---|
| 28 | | Ralf Hinze:
Generics for the masses.
ICFP 2004: 236-243 |
| 27 | | Ralf Hinze:
An Algebra of Scans.
MPC 2004: 186-210 |
| 26 | | Ralf Hinze:
Special issue on functional pearls Editorial.
J. Funct. Program. 14(6): 601-601 (2004) |
| 25 | | Ralf Hinze,
Johan Jeuring,
Andres Löh:
Type-indexed data types.
Sci. Comput. Program. 51(1-2): 117-151 (2004) |
| 2003 |
|---|
| 24 | | Ralf Hinze,
Johan Jeuring:
Generic Haskell: Practice and Theory.
Generic Programming 2003: 1-56 |
| 23 | | Ralf Hinze,
Johan Jeuring:
Generic Haskell: Applications.
Generic Programming 2003: 57-96 |
| 22 | | Ralf Hinze:
Formatting: a class act.
J. Funct. Program. 13(5): 935-944 (2003) |
| 2002 |
|---|
| 21 | | Ralf Hinze:
Bootstrapping one-sided flexible arrays.
ICFP 2002: 2-13 |
| 20 | | Ralf Hinze:
Constructing Tournament Representations: An Exercise in Pointwise Relational Programming.
MPC 2002: 131-147 |
| 19 | | Ralf Hinze,
Johan Jeuring,
Andres Löh:
Type-Indexed Data Types.
MPC 2002: 148-174 |
| 18 | | Ralf Hinze:
A fresh look at binary search trees.
J. Funct. Program. 12(6): 601-607 (2002) |
| 17 | | Ralf Hinze:
Polytypic values possess polykinded types.
Sci. Comput. Program. 43(2-3): 129-159 (2002) |
| 2001 |
|---|
| 16 | | Ralf Hinze:
A Simple Implementation Technique for Priority Search Queues.
ICFP 2001: 110-121 |
| 15 | | Ralf Hinze:
Prolog's Control Constructs in a Functional Setting - Axioms and Implementation.
Int. J. Found. Comput. Sci. 12(2): 125-170 (2001) |
| 14 | | Ralf Hinze:
Manufacturing datatypes.
J. Funct. Program. 11(5): 493-524 (2001) |
| 13 | | Ralf Hinze,
Johan Jeuring:
Weaving a web.
J. Funct. Program. 11(6): 681-689 (2001) |
| 12 | | Ralf Hinze:
Polytypic Programming With Ease.
Journal of Functional and Logic Programming 2001(3): (2001) |
| 2000 |
|---|
| 11 | | Ralf Hinze:
Deriving backtracking monad transformers.
ICFP 2000: 186-197 |
| 10 | | Ralf Hinze:
Polytypic Values Possess Polykinded Types.
MPC 2000: 2-27 |
| 9 | | Ralf Hinze:
A New Approach to Generic Functional Programming.
POPL 2000: 119-132 |
| 8 | | Ralf Hinze,
Simon L. Peyton Jones:
Derivable Type Classes.
Electr. Notes Theor. Comput. Sci. 41(1): (2000) |
| 7 | | Ralf Hinze:
Perfect trees and bit-reversal permutations.
J. Funct. Program. 10(3): 305-317 (2000) |
| 6 | | Ralf Hinze:
Generalizing generalized tries.
J. Funct. Program. 10(4): 327-351 (2000) |
| 1999 |
|---|
| 5 | | Ralf Hinze:
Polytypic Programming With Ease (Extended Abstract).
Fuji International Symposium on Functional and Logic Programming 1999: 21-36 |
| 4 | | Ralf Hinze:
Polytypic Functions Over Nested Datatypes.
Discrete Mathematics & Theoretical Computer Science 3(4): 193-214 (1999) |
| 3 | | Ralf Hinze:
Explaining Binomial Heaps.
J. Funct. Program. 9(1): 93-104 (1999) |
| 1998 |
|---|
| 2 | | Ralf Hinze:
Prological Features in a Functional Setting Axioms and Implementation.
Fuji International Symposium on Functional and Logic Programming 1998: 98-122 |
| 1994 |
|---|
| 1 | | Armin B. Cremers,
Ulrike Griefahn,
Ralf Hinze:
Deduktive Datenbanken: Eine Einführung aus der Sicht der logischen Programmierung
Vieweg 1994 |
