 | 2011 |
|---|
| 58 |       | Jeremy Gibbons,
Ralf Hinze:
Just do it: simple monadic equational reasoning.
ICFP 2011: 2-14 |
| 57 | | Ralf Hinze,
Daniel W. H. James:
Proving the unique fixed-point principle correct: an adventure with category theory.
ICFP 2011: 359-371 |
| 56 | | Ralf Hinze:
Typed quote/antiquote or: Compile-time parsing.
J. Funct. Program. 21(3): 219-234 (2011) |
| 2010 |
|---|
| 55 | | Ralf Hinze:
Type Fusion.
AMAST 2010: 92-110 |
| 54 | | Ralf Hinze,
Daniel W. H. James:
Reason isomorphically!
ICFP-WGP 2010: 85-96 |
| 53 | | Ralf Hinze,
Thomas Harper,
Daniel W. H. James:
Theory and Practice of Fusion.
IFL 2010: 19-37 |
| 52 | | Ralf Hinze:
Adjoint Folds and Unfolds.
MPC 2010: 195-228 |
| 51 | | Ralf Hinze:
Special Issue on Generic Programming Editorial.
J. Funct. Program. 20(3-4): 211-212 (2010) |
| 2009 |
|---|
| 50 | | Ralf Hinze:
Reasoning about Codata.
CEFP 2009: 42-93 |
| 49 | | Ralf Hinze:
Functional pearl: la tour d'Hanoï.
ICFP 2009: 3-10 |
| 48 | | Ralf Hinze:
The Bird Tree.
J. Funct. Program. 19(5): 491-508 (2009) |
| 47 | | Ralf Hinze:
Purely Functional 1-2 Brother Trees.
J. Funct. Program. 19(6): 633-644 (2009) |
| 46 | | Ralf Hinze,
Andres Löh:
Generic programming in 3D.
Sci. Comput. Program. 74(8): 590-628 (2009) |
| 2008 |
|---|
| 45 |  | Ralf Hinze,
Don Syme:
Proceedings of the ACM SIGPLAN Workshop on Genetic Programming, WGP 2008, Victoria, BC, Canada, September 20, 2008
ACM 2008 |
| 44 | | Ralf Hinze:
Functional pearl: streams and unique fixed points.
ICFP 2008: 189-200 |
| 43 | | Ralf Hinze:
Scans and Convolutions - A Calculational Proof of Moessner's Theorem.
IFL 2008: 1-24 |
| 42 | | Ralf Hinze:
Exploiting Unique Fixed Points.
MPC 2008: 1 |
| 41 | | Ralf Hinze:
Concrete stream calculus: An extended study.
J. Funct. Program. 20(5-6): 463-535 (2008) |
| 2007 |
|---|
| 40 | | 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 |
|---|
| 39 | | Ralf Hinze:
Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2006, Portland, Oregon, USA, September 16, 2006
ACM 2006 |
| 38 | | Ralf Hinze,
Andres Löh,
Bruno C. d. S. Oliveira:
"Scrap Your Boilerplate" Reloaded.
FLOPS 2006: 13-29 |
| 37 | | Ralf Hinze,
Johan Jeuring,
Andres Löh:
Typed Contracts for Functional Programming.
FLOPS 2006: 208-225 |
| 36 | | Ralf Hinze,
Andres Löh:
"Scrap Your Boilerplate" Revolutions.
MPC 2006: 180-208 |
| 35 | | Andres Löh,
Ralf Hinze:
Open data types and open functions.
PPDP 2006: 133-144 |
| 34 | | Bruno C. d. S. Oliveira,
Ralf Hinze,
Andres Löh:
Extensible and modular generics for the masses.
Trends in Functional Programming 2006: 199-216 |
| 33 | | Ralf Hinze,
Ross Paterson:
Finger trees: a simple general-purpose data structure.
J. Funct. Program. 16(2): 197-217 (2006) |
| 32 | | Ralf Hinze:
Generics for the masses.
J. Funct. Program. 16(4-5): 451-483 (2006) |
| 2005 |
|---|
| 31 | | Ralf Hinze:
Church numerals, twice!
J. Funct. Program. 15(1): 1-13 (2005) |
| 2004 |
|---|
| 30 | | Ralf Hinze:
Generics for the masses.
ICFP 2004: 236-243 |
| 29 | | Ralf Hinze:
An Algebra of Scans.
MPC 2004: 186-210 |
| 28 | | Ralf Hinze:
Special issue on functional pearls Editorial.
J. Funct. Program. 14(6): 601-601 (2004) |
| 27 | | Ralf Hinze,
Johan Jeuring,
Andres Löh:
Type-indexed data types.
Sci. Comput. Program. 51(1-2): 117-151 (2004) |
| 2003 |
|---|
| 26 | | Ralf Hinze,
Johan Jeuring:
Generic Haskell: Practice and Theory.
Generic Programming 2003: 1-56 |
| 25 | | Ralf Hinze,
Johan Jeuring:
Generic Haskell: Applications.
Generic Programming 2003: 57-96 |
| 24 | | Ralf Hinze:
Formatting: a class act.
J. Funct. Program. 13(5): 935-944 (2003) |
| 2002 |
|---|
| 23 | | Ralf Hinze:
Bootstrapping one-sided flexible arrays.
ICFP 2002: 2-13 |
| 22 | | Ralf Hinze:
Constructing Tournament Representations: An Exercise in Pointwise Relational Programming.
MPC 2002: 131-147 |
| 21 | | Ralf Hinze,
Johan Jeuring,
Andres Löh:
Type-Indexed Data Types.
MPC 2002: 148-174 |
| 20 | | Ralf Hinze:
A fresh look at binary search trees.
J. Funct. Program. 12(6): 601-607 (2002) |
| 19 | | Ralf Hinze:
Polytypic values possess polykinded types.
Sci. Comput. Program. 43(2-3): 129-159 (2002) |
| 2001 |
|---|
| 18 | | Ralf Hinze:
A Simple Implementation Technique for Priority Search Queues.
ICFP 2001: 110-121 |
| 17 | | Ralf Hinze:
Prolog's Control Constructs in a Functional Setting - Axioms and Implementation.
Int. J. Found. Comput. Sci. 12(2): 125-170 (2001) |
| 16 | | Ralf Hinze:
Manufacturing datatypes.
J. Funct. Program. 11(5): 493-524 (2001) |
| 15 | | Ralf Hinze,
Johan Jeuring:
Weaving a web.
J. Funct. Program. 11(6): 681-689 (2001) |
| 14 | | Ralf Hinze:
Polytypic Programming With Ease.
Journal of Functional and Logic Programming 2001(3): (2001) |
| 2000 |
|---|
| 13 | | Ralf Hinze:
Deriving backtracking monad transformers.
ICFP 2000: 186-197 |
| 12 | | Ralf Hinze:
Polytypic Values Possess Polykinded Types.
MPC 2000: 2-27 |
| 11 | | Ralf Hinze:
A New Approach to Generic Functional Programming.
POPL 2000: 119-132 |
| 10 | | Ralf Hinze,
Simon L. Peyton Jones:
Derivable Type Classes.
Electr. Notes Theor. Comput. Sci. 41(1): 5-35 (2000) |
| 9 | | Ralf Hinze:
Perfect trees and bit-reversal permutations.
J. Funct. Program. 10(3): 305-317 (2000) |
| 8 | | Ralf Hinze:
Generalizing generalized tries.
J. Funct. Program. 10(4): 327-351 (2000) |
| 1999 |
|---|
| 7 | | Ralf Hinze:
Polytypic Programming With Ease (Extended Abstract).
Fuji International Symposium on Functional and Logic Programming 1999: 21-36 |
| 6 | | Ralf Hinze:
Polytypic Functions Over Nested Datatypes.
Discrete Mathematics & Theoretical Computer Science 3(4): 193-214 (1999) |
| 5 | | Ralf Hinze:
Explaining Binomial Heaps.
J. Funct. Program. 9(1): 93-104 (1999) |
| 1998 |
|---|
| 4 | | Ralf Hinze:
Prological Features in a Functional Setting Axioms and Implementation.
Fuji International Symposium on Functional and Logic Programming 1998: 98-122 |
| 1995 |
|---|
| 3 | | Ralf Hinze:
Projection-based strictness analysis - theoretical and practical aspects.
Universität Bonn 1995: I-X, 1-227 |
| 1994 |
|---|
| 2 | | Armin B. Cremers,
Ulrike Griefahn,
Ralf Hinze:
Deduktive Datenbanken: Eine Einführung aus der Sicht der logischen Programmierung
Vieweg 1994 |
| 1992 |
|---|
| 1 | | Ralf Hinze:
Einführung in die funktionale Programmierung mit Miranda.
Teubner 1992: I-XIV, 1-345 |
Data released under the ODC-BY 1.0 license — See also our legal information page