dblp.uni-trier.dewww.uni-trier.de

Ralf Hinze Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
43EERalf Hinze: Functional pearl: la tour d'Hanoï. ICFP 2009: 3-10
42EERalf 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
40EERalf Hinze: Functional pearl: streams and unique fixed points. ICFP 2008: 189-200
39EERalf 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
36EERalf Hinze, Andres Löh, Bruno C. D. S. Oliveira: "Scrap Your Boilerplate" Reloaded. FLOPS 2006: 13-29
35EERalf Hinze, Johan Jeuring, Andres Löh: Typed Contracts for Functional Programming. FLOPS 2006: 208-225
34EERalf Hinze, Andres Löh: "Scrap Your Boilerplate" Revolutions. MPC 2006: 180-208
33EEAndres 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
31EERalf Hinze, Ross Paterson: Finger trees: a simple general-purpose data structure. J. Funct. Program. 16(2): 197-217 (2006)
30EERalf Hinze: Generics for the masses. J. Funct. Program. 16(4-5): 451-483 (2006)
2005
29EERalf Hinze: Church numerals, twice! J. Funct. Program. 15(1): 1-13 (2005)
2004
28EERalf Hinze: Generics for the masses. ICFP 2004: 236-243
27EERalf Hinze: An Algebra of Scans. MPC 2004: 186-210
26EERalf Hinze: Special issue on functional pearls Editorial. J. Funct. Program. 14(6): 601-601 (2004)
25EERalf Hinze, Johan Jeuring, Andres Löh: Type-indexed data types. Sci. Comput. Program. 51(1-2): 117-151 (2004)
2003
24EERalf Hinze, Johan Jeuring: Generic Haskell: Practice and Theory. Generic Programming 2003: 1-56
23EERalf Hinze, Johan Jeuring: Generic Haskell: Applications. Generic Programming 2003: 57-96
22EERalf Hinze: Formatting: a class act. J. Funct. Program. 13(5): 935-944 (2003)
2002
21EERalf Hinze: Bootstrapping one-sided flexible arrays. ICFP 2002: 2-13
20EERalf Hinze: Constructing Tournament Representations: An Exercise in Pointwise Relational Programming. MPC 2002: 131-147
19EERalf Hinze, Johan Jeuring, Andres Löh: Type-Indexed Data Types. MPC 2002: 148-174
18EERalf Hinze: A fresh look at binary search trees. J. Funct. Program. 12(6): 601-607 (2002)
17EERalf 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
11EERalf Hinze: Deriving backtracking monad transformers. ICFP 2000: 186-197
10 Ralf Hinze: Polytypic Values Possess Polykinded Types. MPC 2000: 2-27
9EERalf Hinze: A New Approach to Generic Functional Programming. POPL 2000: 119-132
8EERalf 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
4EERalf 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

Coauthor Index

1Armin B. Cremers [1]
2Ulrike Griefahn [1]
3Johan Jeuring [13] [19] [23] [24] [25] [35]
4Simon L. Peyton Jones [8]
5Andres Löh [19] [25] [32] [33] [34] [35] [36] [42]
6Bruno C. D. S. Oliveira [32] [36]
7Ross Paterson [31]
8Norman Ramsey [38]
9Don Syme [41]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)