Ralf Hinze: Publications

[1]	Generic Programming, Now! Hinze, Ralf, Löh, Andres In Backhouse, Roland et al. , editors, Datatype-Generic Programming 2006 Vol. 4719 of LNCS, pages 150—208. Springer. 2007. To appear. Details \| BibTeX

[2]	Generic Programming in 3D Hinze, Ralf, Löh, Andres Science of Computer Programming, 2007. to appear. Details \| BibTeX

[3]	Comparing Approaches to Generic Programming Hinze, Ralf, Jeuring, Johan and Löh, Andres In Backhouse, Roland et al. , editors, Datatype-Generic Programming 2006 Vol. 4719 of LNCS. Springer. 2007. To appear. Details \| BibTeX

[4]	Open data types and open functions Löh, Andres, Hinze, Ralf In Proceedings of the 8th ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, Venice, Italy pages 133-144. ACM-Press, July 2006. Details \| BibTeX

[5]	Generics for the masses Hinze, Ralf J. Functional Programming, Vol. 16, No. 4 \& 5, pages 451—483. 2006. Details \| BibTeX

[6]	Open data types and open functions Hinze, Ralf, Löh, Andres No. IAI-TR-2006-3, Technical Report, Institut für Informatik III, Universität Bonn. February 2006. Details \| BibTeX

[7]	``Scrap Your Boilerplate'' Revolutions Hinze, Ralf, Löh, Andres In Uustalu, Tarmo, editor, 8th International Conference on Mathematics of Program Construction (MPC '06) Vol. 4014 of LNCS, pages 180-208. Springer, July 2006. Details \| BibTeX

[8]	``Scrap Your Boilerplate'' Reloaded Hinze, Ralf, Löh, Andres and Oliveira, Bruno C.d.S. No. IAI-TR-2006-2, Technical Report, Institut für Informatik III, Universität Bonn. January 2006. Details \| BibTeX

[9]

``Scrap Your Boilerplate'' Reloaded

Hinze, Ralf, Löh, Andres and Oliveira, Bruno C.d.S.

In Wadler, Philip, Hagiya, Masimi, editors, Proceedings of the Eighth International Symposium on Functional and Logic Programming (FLOPS 2006), 24-26 April 2006, Fuji Susono, Japan Vol. 3945 of LNCS, pages 13-29. Springer, April 2006.

Details | BibTeX

[10]	Generics as a Library Oliveira, Bruno C. d. S., Hinze, Ralf and Löh, Andres In Nilsson, Henrik, editor, Proceedings of the Seventh Symposium on Trends in Functional Programming, April 19—21, 2006, Nottingham, UK 2006. Details \| BibTeX

[11]

Typed Contracts for Functional Programming

Hinze, Ralf, Jeuring, Johan and Löh, Andres

In Wadler, Philip, Hagiya, Masami, editors, Proceedings of the Eighth International Symposium on Functional and Logic Programming (FLOPS 2006), 24-26 April 2006, Fuji Susono, Japan Vol. 3945 of LNCS, pages 208-225. Springer, April 2006.

Details | BibTeX

[12]	Theoretical Pearl: Church numerals, twice! Hinze, Ralf J. Functional Programming, Vol. 15, No. 1, pages 1—13. January 2005. Details \| BibTeX

[13]	An algebra of scans Hinze, Ralf In Kozen, Dexter, editor, Proceedings of the Seventh International Conference on Mathematics of Program Construction (MPC 2004), Stirling, Scotland, UK, July 12—14, 2004 Vol. 3125 of LNCS. Springer, July 2004. Details \| BibTeX

[14]	Generics for the masses Hinze, Ralf In Fisher, Kathleen, editor, Proceedings of the 2004 International Conference on Functional Programming, Snowbird, Utah, September 19—22, 2004 pages 236-243. ACM-Press, September 2004. Details \| BibTeX

[15]	Type-indexed data types Hinze, Ralf, Jeuring, Johan and Löh, Andres Science of Computer Programming, Vol. 51, pages 117-151. 2004. Details \| BibTeX

[16]	Fun with phantom types Hinze, Ralf In Gibbons, Jeremy, de Moor, Oege, editors, The Fun of Programming pages 245—262. Palgrave Macmillan. 2003. ISBN 1-4039-0772-2 hardback, ISBN 0-333-99285-7 paperback. Details \| BibTeX

[17]	Functional Pearl: Formatting: a class act Hinze, Ralf J. Functional Programming, Vol. 13, No. 5, pages 935—944. September 2003. Details \| BibTeX

[18]	Derivation of a Typed Functional LR Parser Hinze, Ralf, Paterson, Ross 2003. in preparation. Details \| BibTeX

[19]	Generic Haskell: Practice and Theory Hinze, Ralf, Jeuring, Johan No. UU-CS-2003-15, Technical Report, Universiteit Utrecht. 2003. Details \| BibTeX

[20]	Generic Haskell: Practice and Theory Hinze, Ralf, Jeuring, Johan In Backhouse, Roland, Gibbons, Jeremy, editors, Generic Programming: Advanced Lectures Vol. 2793 of LNCS, pages 1—56. Springer. 2003. Details \| BibTeX

[21]	Generic Haskell: Applications Hinze, Ralf, Jeuring, Johan No. UU-CS-2003-16, Technical Report, Universiteit Utrecht. 2003. Details \| BibTeX

[22]	Generic Haskell: Applications Hinze, Ralf, Jeuring, Johan In Backhouse, Roland, Gibbons, Jeremy, editors, Generic Programming: Advanced Lectures Vol. 2793 of LNCS, pages 57—97. Springer. 2003. Details \| BibTeX

[23]	First-Class Phantom Types Cheney, James, Hinze, Ralf Technical Report, Cornell University. 2003. Details \| BibTeX

[24]	Functional Pearl: Trouble Shared is Trouble Halved Bird, Richard, Hinze, Ralf In Jeuring, Johan, editor, Proceedings of the 2003 ACM SIGPLAN Haskell Workshop pages 1—6. ACM-Press, September 2003. Details \| BibTeX

[25]	Polytypic values possess polykinded types Hinze, Ralf Science of Computer Programming, Vol. 43, pages 129-159. 2002. Details \| BibTeX

[26]	Functional Pearl: A fresh look at binary search trees Hinze, Ralf J. Functional Programming, Vol. 12, No. 6, pages 601—607. November 2002. Details \| BibTeX

[27]	Constructing tournament representations: An exercise in pointwise relational programming Hinze, Ralf No. IAI-TR-2002-2, Technical Report, Institut für Informatik III, Universität Bonn. February 2002. Details \| BibTeX

[28]

Constructing tournament representations: An exercise in pointwise relational programming

Hinze, Ralf

In Boiten, Eerke A., Möller, Bernhard, editors, Proceedings of the Sixth International Conference on Mathematics of Program Construction (MPC 2002), Dagstuhl, Germany, July 8-10, 2002 Vol. 2386 of LNCS, pages 131—147. Springer, July 2002.

Details | BibTeX

[29]	Church numerals, twice! Hinze, Ralf No. IAI-TR-2002-3, Technical Report, Institut für Informatik III, Universität Bonn. February 2002. Details \| BibTeX

[30]	Bootstrapping One-sided Flexible Arrays Hinze, Ralf In Peyton Jones, Simon, editor, Proceedings of the 2002 International Conference on Functional Programming, Pittsburgh, PA, USA, October 4—6, 2002 pages 01/02/13. ACM-Press, October 2002. Details \| BibTeX

[31]	Type-indexed data types Hinze, Ralf, Jeuring, Johan and Löh, Andres No. UU-CS-2002-11, Technical Report, Universiteit Utrecht. 2002. Details \| BibTeX

[32]

Type-indexed data types

Hinze, Ralf, Jeuring, Johan and Löh, Andres

Details | BibTeX

[33]	A Lightweight Implementation of Generics and Dynamics Cheney, James, Hinze, Ralf In Chakravarty, Manuel M.T., editor, Proceedings of the 2002 ACM SIGPLAN Haskell Workshop pages 90-104. ACM-Press, October 2002. Details \| BibTeX

[34]	Combining Generics and Dynamics Achten, Peter, Hinze, Ralf No. NIII-R0206, Technical Report, Nijmegen Institute for Computing and Information Sciences, University of Nijmegen. July 2002. Details \| BibTeX

[35]	Prolog's Control Constructs in a Functional Setting —- Axioms and Implementation Hinze, Ralf International Journal of Foundations of Computer Science, Vol. 12, No. 2, pages 125-170. 2001. Details \| BibTeX

[36]	A Simple Implementation Technique for Priority Search Queues Hinze, Ralf In Leroy, Xavier, editor, Proceedings of the 2001 International Conference on Functional Programming, Firenze, Italy, September 3-5, 2001 pages 110—121. September 2001. Details \| BibTeX

[37]	A Simple Implementation Technique for Priority Search Queues Hinze, Ralf No. UU-CS-2001-09, Technical Report, Universiteit Utrecht. March 2001. Details \| BibTeX

[38]	Polytypic Programming With Ease Hinze, Ralf Journal of Functional and Logic Programming, Vol. 2001, No. 3, July 2001. Details \| BibTeX

[39]	Manufacturing Datatypes Hinze, Ralf Journal of Functional Programming, Special Issue on Algorithmic Aspects of Functional Programming Languages, Vol. 11, No. 5, pages 493—524. September 2001. Details \| BibTeX

[40]	Functional Pearl: Weaving a Web Hinze, Ralf No. UU-CS-2001-33, Technical Report, Universiteit Utrecht. 2001. Details \| BibTeX

[41]	Functional Pearl: Weaving a Web Hinze, Ralf, Jeuring, Johan Journal of Functional Programming, Vol. 11, No. 6, pages 681—689. November 2001. Details \| BibTeX

[42]

Derivable Type Classes

Hinze, Ralf, Peyton Jones, Simon

In Hutton, Graham, editor, Proceedings of the 2000 ACM SIGPLAN Haskell Workshop Vol. 41.1 of Electronic Notes in Theoretical Computer Science. Elsevier Science, August 2001.

The preliminary proceedings appeared as a University of Nottingham technical report.

Details | BibTeX

[43]	The Generic Haskell user's guide Clarke, Dave et al. No. UU-CS-2001-26, Technical Report, Universiteit Utrecht. November 2001. Details \| BibTeX

[44]	Functional Pearl: Perfect trees and bit-reversal permutations Hinze, Ralf Journal of Functional Programming, Vol. 10, No. 3, pages 305—317. May 2000. Details \| BibTeX

[45]	A New Approach to Generic Functional Programming Hinze, Ralf In Reps, Thomas W., editor, Proceedings of the 27th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'00), Boston, Massachusetts, January 19-21 pages 119—132. January 2000. Details \| BibTeX

[46]	Memo functions, polytypically! Hinze, Ralf In Jeuring, Johan, editor, Proceedings of the 2nd Workshop on Generic Programming, Ponte de Lima, Portugal pages 17—32. July 2000. The proceedings appeared as a technical report of Universiteit Utrecht, UU-CS-2000-19. Details \| BibTeX

[47]	Polytypic values possess polykinded types Hinze, Ralf In Backhouse, Roland, Oliveira, J.N., editors, Proceedings of the Fifth International Conference on Mathematics of Program Construction (MPC 2000), July 3-5, 2000 Vol. 1837 of LNCS, pages 2—27. Springer, July 2000. Details \| BibTeX

[48]	Generalizing Generalized Tries Hinze, Ralf Journal of Functional Programming, Vol. 10, No. 4, pages 327—351. July 2000. Details \| BibTeX

[49]	Efficient Generalized Folds Hinze, Ralf In Jeuring, Johan, editor, Proceedings of the 2nd Workshop on Generic Programming, Ponte de Lima, Portugal pages 1—16. July 2000. The proceedings appeared as a technical report of Universiteit Utrecht, UU-CS-2000-19. Details \| BibTeX

[50]	Deriving Backtracking Monad Transformers Hinze, Ralf In Wadler, Phil, editor, Proceedings of the 2000 International Conference on Functional Programming, Montreal, Canada, September 18-20, 2000 pages 186—197. September 2000. Details \| BibTeX

[51]	Haskell 98 —- A Non-strict, Purely Functional Language Peyton Jones [editor], Simon et al. Available from `http://www.haskell.org/definition/` February 1999. Details \| BibTeX

[52]	Standard Libraries for the Haskell 98 Programming Language Peyton Jones [editor], Simon et al. Available from `http://www.haskell.org/definition/` February 1999. Details \| BibTeX

[53]	Constructing Red-Black Trees Hinze, Ralf No. IAI-TR-99-6, Technical Report, Institut für Informatik III, Universität Bonn. May 1999. Details \| BibTeX

[54]	Polytypic values possess polykinded types Hinze, Ralf No. IAI-TR-99-15, Technical Report, Institut für Informatik III, Universität Bonn. December 1999. Details \| BibTeX

[55]	Polytypic Functions Over Nested Datatypes Hinze, Ralf Discrete Mathematics and Theoretical Computer Science, Vol. 3, No. 4, pages 193—214. September 1999. Details \| BibTeX

[56]	Polytypic Functions Over Nested Datatypes (Extended Abstract) Hinze, Ralf In Lins, Rafael Dueire, editor, 3rd Latin-American Conference on Functional Programming (CLaPF'99) March 1999. Details \| BibTeX

[57]	Perfect Trees and Bit-reversal Permutations Hinze, Ralf No. IAI-TR-99-4, Technical Report, Institut für Informatik III, Universität Bonn. March 1999. Details \| BibTeX

[58]	Book review: ``Purely Functional Data Structures'', by Chris Okasaki Hinze, Ralf Journal of Functional Programming, Vol. 9, No. 5, pages 577—578. September 1999. Details \| BibTeX

[59]	A New Approach to Generic Functional Programming Hinze, Ralf No. IAI-TR-99-9, Technical Report, Institut für Informatik III, Universität Bonn. July 1999. Details \| BibTeX

[60]

Manufacturing Datatypes

Hinze, Ralf

In Okasaki, Chris, editor, Proceedings of the Workshop on Algorithmic Aspects of Advanced Programming Languages, WAAAPL'99, Paris, France pages 1—16. September 1999.

The proceedings appeared as a technical report of Columbia University, CUCS-023-99, also available from http://www.cs.columbia.edu/ cdo/waaapl.html.

Details | BibTeX

[61]	Manufacturing Datatypes Hinze, Ralf No. IAI-TR-99-5, Technical Report, Institut für Informatik III, Universität Bonn. April 1999. Details \| BibTeX

[62]	A Generic Programming Extension for Haskell Hinze, Ralf In Meijer, Erik, editor, Proceedings of the 3rd Haskell Workshop, Paris, France September 1999. The proceedings appeared as a technical report of Universiteit Utrecht, UU-CS-1999-28. Details \| BibTeX

[63]	Efficient Generalized Folds Hinze, Ralf No. IAI-TR-99-8, Technical Report, Institut für Informatik III, Universität Bonn. June 1999. Details \| BibTeX

[64]	Polytypic Programming With Ease (Extended Abstract) Hinze, Ralf In Middeldorp, Aart, Sato, Taisuke, editors, 4th Fuji International Symposium on Functional and Logic Programming (FLOPS'99), Tsukuba, Japan Vol. 1722 of LNCS, pages 21—36. Springer, November 1999. Details \| BibTeX

[65]	Polytypic Programming With Ease Hinze, Ralf No. IAI-TR-99-2, Technical Report, Institut für Informatik III, Universität Bonn. February 1999. Details \| BibTeX

[66]	Deriving monad transformers Hinze, Ralf No. IAI-TR-99-1, Technical Report, Institut für Informatik III, Universität Bonn. January 1999. Details \| BibTeX

[67]

Constructing Red-Black Trees

Hinze, Ralf

In Okasaki, Chris, editor, Proceedings of the Workshop on Algorithmic Aspects of Advanced Programming Languages, WAAAPL'99, Paris, France pages 89—99. September 1999.

The proceedings appeared as a technical report of Columbia University, CUCS-023-99, also available from http://www.cs.columbia.edu/ cdo/waaapl.html.

Details | BibTeX

[68]	Functional Pearl: Explaining Binomial Heaps Hinze, Ralf Journal of Functional Programming, Vol. 9, No. 1, pages 93—104. January 1999. Details \| BibTeX

[69]

Straight to the Heart of Computer Science via Functional Programming

Giegerich, Robert, Hinze, Ralf and Kurtz, Stefan

In Felleisen, Matthias, Hanus, Michael and Thompson, Simon, editors, Proceedings of the Workshop on Functional and Declarative Programming in Education, FDPE'99, Paris, France pages 1—5. September 1999.

The proceedings appeared as a technical report of Rice University, Rice COMP TR99-346.

Details | BibTeX

[70]	Projektionsbasierte Striktheitsanalyse Hinze, Ralf In Ausgezeichnete Informatikdissertationen 1996 pages 46—61. B.G. Teubner. 1998. Details \| BibTeX

[71]

Prological Features in a Functional Setting —- Axioms and Implementations

Hinze, Ralf

In Sato, Masahiko, Toyama, Yoshihito, editors, Third Fuji International Symposium on Functional and Logic Programming (FLOPS'98), Kyoto University, Japan pages 98—122. Singapore, New Jersey, London, Hong Kong. April 1998. World Scientific.

Details | BibTeX

[72]	Polytypic Functions Over Nested Datatypes Hinze, Ralf No. IAI-TR-98-10, Technical Report, Institut für Informatik III, Universität Bonn. October 1998. Details \| BibTeX

[73]	Numerical Representations as Higher-Order Nested Datatypes Hinze, Ralf No. IAI-TR-98-12, Technical Report, Institut für Informatik III, Universität Bonn. December 1998. Details \| BibTeX

[74]	Generalizing Generalized Tries Hinze, Ralf No. IAI-TR-98-11, Technical Report, Institut für Informatik III, Universität Bonn. November 1998. Details \| BibTeX

[75]	Efficient Monadic-style Backtracking Hinze, Ralf No. IAI-TR-96-9, Technical Report, Institut für Informatik III, Universität Bonn. October 1996. Details \| BibTeX

[76]	Projection-based Strictness Analysis —- Theoretical and Practical Aspects Hinze, Ralf PhD Thesis, Universität Bonn. November 1995. Details \| BibTeX

[77]	Deduktive Datenbanken —- Eine Einführung aus der Sicht der logischen Programmierung Cremers, Armin B., Griefahn, Ulrike and Hinze, Ralf Vieweg. 1994. ISBN 3-528-04700-3. Details \| BibTeX

[78]	Die Rolle der mathematischen Logik in der Künstlichen Intelligenz Cremers, Armin B., Eder, Elmar and Hinze, Ralf In Künstliche Intelligenz: Leitvorstellungen und Verantwortbarkeit, Band 1: Diskussionsgrundlage Verein Deutscher Ingenieure. 1993. Details \| BibTeX

[79]	Einführung in die funktionale Programmierung - Sprachen, Spezifikationen, Grundlagen, Implementierung Hinze, R. 1992. Vorlesungsskript SS 92, Universität Bonn, Institut für Informatik III. Details \| BibTeX

[80]	Einführung in die funktionale Programmierung mit Miranda Hinze, Ralf B.G. Teubner. 1992. ISBN 3-519-02287-7. Details \| BibTeX

[81]	The Categorical Abstract Machine: Basics and Enhancments Hinze, Ralf No. IAI-TR-92-1, Technical Report, Institut für Informatik III, Universität Bonn. December 1992. Details \| BibTeX

[82]	Typsysteme und Typinferenzsysteme Hinze, Ralf Master's Thesis. Universität Dortmund, May 1989. Details \| BibTeX