| [1] | Roland Backhouse, Jeremy Gibbons, Ralf Hinze, and Johan Jeuring, editors. volume 4719 of Lecture Notes in Computer Science. Springer-Verlag, 2007. To appear. |
| [2] | Ralf Hinze, Johan Jeuring, and Andres Löh. Comparing approaches to generic programming. In Roland Backhouse, Jeremy Gibbons, Ralf Hinze, and Johan Jeuring, editors, Datatype-Generic Programming 2006, volume 4719 of Lecture Notes in Computer Science. Springer-Verlag, 2007. To appear. |
| [3] | Ralf Hinze and Andres Löh. Generic programming in 3d. Science of Computer Programming, 2007. to appear. |
| [4] | Ralf Hinze and Andres Löh. Generic programming, now! In Roland Backhouse, Jeremy Gibbons, Ralf Hinze, and Johan Jeuring, editors, Datatype-Generic Programming 2006, volume 4719 of Lecture Notes in Computer Science, pages 150-208. Springer-Verlag, 2007. To appear. |
| [5] | Ralf Hinze and Andres Löh. “Scrap Your Boilerplate” revolutions. In Tarmo Uustalu, editor, 8th International Conference on Mathematics of Program Construction (MPC '06), volume 4014 of Lecture Notes in Computer Science, pages 180-208. Springer-Verlag, July 2006. |
| [6] | Ralf Hinze. Generics for the masses. J. Functional Programming, 16(4&5):451-483, July&September 2006. |
| [7] | Andres Löh and Ralf Hinze. Open data types and open functions. In Proceedings of the 8th ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, Venice, Italy, pages 133-144. ACM Press, July 2006. |
| [8] | Ralf Hinze, Johan Jeuring, and Andres Löh. Typed contracts for functional programming. In Philip Wadler and Masami Hagiya, editors, Proceedings of the Eighth International Symposium on Functional and Logic Programming (FLOPS 2006), 24-26 April 2006, Fuji Susono, Japan, volume 3945 of Lecture Notes in Computer Science, pages 208-225. Springer-Verlag, April 2006. |
| [9] | Ralf Hinze, Andres Löh, and Bruno C.d.S. Oliveira. “Scrap Your Boilerplate” reloaded. In Philip Wadler and Masimi Hagiya, editors, Proceedings of the Eighth International Symposium on Functional and Logic Programming (FLOPS 2006), 24-26 April 2006, Fuji Susono, Japan, volume 3945 of Lecture Notes in Computer Science, pages 13-29. Springer-Verlag, April 2006. |
| [10] | Ralf Hinze and Andres Löh. Open data types and open functions. Technical Report IAI-TR-2006-3, Institut für Informatik III, Universität Bonn, February 2006. |
| [11] | Bruno C. d. S. Oliveira, Ralf Hinze, and Andres Löh. Generics as a library. In Henrik Nilsson, editor, Proceedings of the Seventh Symposium on Trends in Functional Programming, April 19-21, 2006, Nottingham, UK, 2006. |
| [12] | Ralf Hinze, Andres Löh, and Bruno C.d.S. Oliveira. “Scrap Your Boilerplate” reloaded. Technical Report IAI-TR-2006-2, Institut für Informatik III, Universität Bonn, January 2006. |
| [13] | Ralf Hinze. Theoretical Pearl: Church numerals, twice! J. Functional Programming, 15(1):1-13, January 2005. |
| [14] | Ralf Hinze. Generics for the masses. In Kathleen Fisher, editor, Proceedings of the 2004 International Conference on Functional Programming, Snowbird, Utah, September 19-22, 2004, pages 236-243. ACM Press, September 2004. |
| [15] | Ralf Hinze. An algebra of scans. In Dexter Kozen, editor, Proceedings of the Seventh International Conference on Mathematics of Program Construction (MPC 2004), Stirling, Scotland, UK, July 12-14, 2004, volume 3125 of Lecture Notes in Computer Science. Springer-Verlag, July 2004. |
| [16] | Ralf Hinze, Johan Jeuring, and Andres Löh. Type-indexed data types. Science of Computer Programming, 51:117-151, 2004. |
| [17] | Ralf Hinze, editor. volume 14. Journal of Functional Programming, 2004. |
| [18] | Richard Bird and Ralf Hinze. Functional pearl: Trouble shared is trouble halved. In Johan Jeuring, editor, Proceedings of the 2003 ACM SIGPLAN Haskell Workshop, pages 1-6. ACM Press, September 2003. |
| [19] | Ralf Hinze. Functional Pearl: Formatting: a class act. J. Functional Programming, 13(5):935-944, September 2003. |
| [20] | James Cheney and Ralf Hinze. First-class phantom types. Technical report, Cornell University, 2003. |
| [21] | Ralf Hinze and Johan Jeuring. Generic Haskell: Applications. In Roland Backhouse and Jeremy Gibbons, editors, Generic Programming: Advanced Lectures, volume 2793 of Lecture Notes in Computer Science, pages 57-97. Springer-Verlag, 2003. |
| [22] | Ralf Hinze and Johan Jeuring. Generic haskell: Applications. Technical Report UU-CS-2003-16, Universiteit Utrecht, 2003. |
| [23] | Ralf Hinze and Johan Jeuring. Generic Haskell: Practice and theory. In Roland Backhouse and Jeremy Gibbons, editors, Generic Programming: Advanced Lectures, volume 2793 of Lecture Notes in Computer Science, pages 1-56. Springer-Verlag, 2003. |
| [24] | Ralf Hinze and Johan Jeuring. Generic haskell: Practice and theory. Technical Report UU-CS-2003-15, Universiteit Utrecht, 2003. |
| [25] | Ralf Hinze and Ross Paterson. Derivation of a typed functional LR parser, 2003. in preparation. |
| [26] | Ralf Hinze. Fun with phantom types. In Jeremy Gibbons and Oege de Moor, editors, The Fun of Programming, pages 245-262. Palgrave Macmillan, 2003. ISBN 1-4039-0772-2 hardback, ISBN 0-333-99285-7 paperback. |
| [27] | Ralf Hinze. Functional Pearl: A fresh look at binary search trees. J. Functional Programming, 12(6):601-607, November 2002. |
| [28] | James Cheney and Ralf Hinze. A lightweight implementation of generics and dynamics. In Manuel M.T. Chakravarty, editor, Proceedings of the 2002 ACM SIGPLAN Haskell Workshop, pages 90-104. ACM Press, October 2002. |
| [29] | Ralf Hinze. Bootstrapping one-sided flexible arrays. In Simon Peyton Jones, editor, Proceedings of the 2002 International Conference on Functional Programming, Pittsburgh, PA, USA, October 4-6, 2002, pages 2-13. ACM Press, October 2002. |
| [30] | Peter Achten and Ralf Hinze. Combining generics and dynamics. Technical Report NIII-R0206, Nijmegen Institute for Computing and Information Sciences, University of Nijmegen, July 2002. |
| [31] | Ralf Hinze, Johan Jeuring, and Andres Löh. Type-indexed data types. In Eerke A. Boiten and Bernhard Möller, editors, Proceedings of the Sixth International Conference on Mathematics of Program Construction (MPC 2002), Dagstuhl, Germany, July 8-10, 2002, volume 2386 of Lecture Notes in Computer Science, pages 148-174. Springer-Verlag, July 2002. |
| [32] | Ralf Hinze. Constructing tournament representations: An exercise in pointwise relational programming. In Eerke A. Boiten and Bernhard Möller, editors, Proceedings of the Sixth International Conference on Mathematics of Program Construction (MPC 2002), Dagstuhl, Germany, July 8-10, 2002, volume 2386 of Lecture Notes in Computer Science, pages 131-147. Springer-Verlag, July 2002. |
| [33] | Ralf Hinze. Church numerals, twice! Technical Report IAI-TR-2002-3, Institut für Informatik III, Universität Bonn, February 2002. |
| [34] | Ralf Hinze. Constructing tournament representations: An exercise in pointwise relational programming. Technical Report IAI-TR-2002-2, Institut für Informatik III, Universität Bonn, February 2002. |
| [35] | Ralf Hinze, Johan Jeuring, and Andres Löh. Type-indexed data types. Technical Report UU-CS-2002-11, Universiteit Utrecht, 2002. |
| [36] | Ralf Hinze. Polytypic values possess polykinded types. Science of Computer Programming, 43:129-159, 2002. |
| [37] | Dave Clarke, Ralf Hinze, Johan Jeuring, Andres Löh, and Jan de Wit. The generic haskell user's guide. Technical Report UU-CS-2001-26, Universiteit Utrecht, November 2001. |
| [38] | Ralf Hinze and Johan Jeuring. Functional Pearl: Weaving a web. Journal of Functional Programming, 11(6):681-689, November 2001. |
| [39] | Ralf Hinze. Manufacturing datatypes. Journal of Functional Programming, Special Issue on Algorithmic Aspects of Functional Programming Languages, 11(5):493-524, September 2001. |
| [40] | Ralf Hinze, editor. volume 59. Electronic Notes in Theoretical Computer Science, September 2001. |
| [41] | Ralf Hinze. A simple implementation technique for priority search queues. In Xavier Leroy, editor, Proceedings of the 2001 International Conference on Functional Programming, Firenze, Italy, September 3-5, 2001, pages 110-121, September 2001. |
| [42] | Ralf Hinze and Simon Peyton Jones. Derivable type classes. In Graham Hutton, editor, Proceedings of the 2000 ACM SIGPLAN Haskell Workshop, volume 41.1 of Electronic Notes in Theoretical Computer Science. Elsevier Science, August 2001. The preliminary proceedings appeared as a University of Nottingham technical report. |
| [43] | Ralf Hinze. Polytypic programming with ease. Journal of Functional and Logic Programming, 2001(3), July 2001. |
| [44] | Ralf Hinze. A simple implementation technique for priority search queues. Technical Report UU-CS-2001-09, Universiteit Utrecht, March 2001. |
| [45] | Ralf Hinze. Functional pearl: Weaving a web. Technical Report UU-CS-2001-33, Universiteit Utrecht, 2001. |
| [46] | Ralf Hinze. Prolog's control constructs in a functional setting - Axioms and implementation. International Journal of Foundations of Computer Science, 12(2):125-170, 2001. |
| [47] | Ralf Hinze. Deriving backtracking monad transformers. In Phil Wadler, editor, Proceedings of the 2000 International Conference on Functional Programming, Montreal, Canada, September 18-20, 2000, pages 186-197, September 2000. |
| [48] | Ralf Hinze. Efficient generalized folds. In Johan Jeuring, 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. |
| [49] | Ralf Hinze. Generalizing generalized tries. Journal of Functional Programming, 10(4):327-351, July 2000. |
| [50] | Ralf Hinze. Polytypic values possess polykinded types. In Roland Backhouse and J.N. Oliveira, editors, Proceedings of the Fifth International Conference on Mathematics of Program Construction (MPC 2000), July 3-5, 2000, volume 1837 of Lecture Notes in Computer Science, pages 2-27. Springer-Verlag, July 2000. |
| [51] | Ralf Hinze. Memo functions, polytypically! In Johan Jeuring, 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. |
| [52] | Ralf Hinze. Functional Pearl: Perfect trees and bit-reversal permutations. Journal of Functional Programming, 10(3):305-317, May 2000. |
| [53] | Ralf Hinze. Generic Programs and Proofs. 2000. Habilitationsschrift, Universität Bonn. |
| [54] | Ralf Hinze. A new approach to generic functional programming. In Thomas W. Reps, 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. |
| [55] | Ralf Hinze. Polytypic values possess polykinded types. Technical Report IAI-TR-99-15, Institut für Informatik III, Universität Bonn, December 1999. |
| [56] | Ralf Hinze. Polytypic programming with ease (extended abstract). In Aart Middeldorp and Taisuke Sato, editors, 4th Fuji International Symposium on Functional and Logic Programming (FLOPS'99), Tsukuba, Japan, volume 1722 of Lecture Notes in Computer Science, pages 21-36. Springer-Verlag, November 1999. |
| [57] | Robert Giegerich, Ralf Hinze, and Stefan Kurtz. Straight to the heart of computer science via functional programming. In Matthias Felleisen, Michael Hanus, and Simon Thompson, 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. |
| [58] | Ralf Hinze. Constructing red-black trees. In Chris Okasaki, 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. |
| [59] | Ralf Hinze. A generic programming extension for Haskell. In Erik Meijer, 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. |
| [60] | Ralf Hinze. Manufacturing datatypes. In Chris Okasaki, 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. |
| [61] | Ralf Hinze. Book review: “Purely Functional Data Structures”, by Chris Okasaki. Journal of Functional Programming, 9(5):577-578, September 1999. |
| [62] | Ralf Hinze. Polytypic functions over nested datatypes. Discrete Mathematics and Theoretical Computer Science, 3(4):193-214, September 1999. |
| [63] | Ralf Hinze. A new approach to generic functional programming. Technical Report IAI-TR-99-9, Institut für Informatik III, Universität Bonn, July 1999. |
| [64] | Ralf Hinze. Efficient generalized folds. Technical Report IAI-TR-99-8, Institut für Informatik III, Universität Bonn, June 1999. |
| [65] | Ralf Hinze. Constructing red-black trees. Technical Report IAI-TR-99-6, Institut für Informatik III, Universität Bonn, May 1999. |
| [66] | Ralf Hinze. Manufacturing datatypes. Technical Report IAI-TR-99-5, Institut für Informatik III, Universität Bonn, April 1999. |
| [67] | Ralf Hinze. Perfect trees and bit-reversal permutations. Technical Report IAI-TR-99-4, Institut für Informatik III, Universität Bonn, March 1999. |
| [68] | Ralf Hinze. Polytypic functions over nested datatypes (extended abstract). In Rafael Dueire Lins, editor, 3rd Latin-American Conference on Functional Programming (CLaPF'99), March 1999. |
| [69] | Ralf Hinze. Polytypic programming with ease. Technical Report IAI-TR-99-2, Institut für Informatik III, Universität Bonn, February 1999. |
| [70] | Simon Peyton Jones [editor], John Hughes [editor], Lennart Augustsson, Dave Barton, Brian Boutel, Warren Burton, Simon Fraser, Joseph Fasel, Kevin Hammond, Ralf Hinze, Paul Hudak, Thomas Johnsson, Mark Jones, John Launchbury, Erik Meijer, John Peterson, Alastair Reid, Colin Runciman, and Philip Wadler. Standard libraries for the Haskell 98 programming language. Available from http://www.haskell.org/definition/, February 1999. |
| [71] | Simon Peyton Jones [editor], John Hughes [editor], Lennart Augustsson, Dave Barton, Brian Boutel, Warren Burton, Simon Fraser, Joseph Fasel, Kevin Hammond, Ralf Hinze, Paul Hudak, Thomas Johnsson, Mark Jones, John Launchbury, Erik Meijer, John Peterson, Alastair Reid, Colin Runciman, and Philip Wadler. Haskell 98 - A non-strict, purely functional language. Available from http://www.haskell.org/definition/, February 1999. |
| [72] | Ralf Hinze. Functional Pearl: Explaining binomial heaps. Journal of Functional Programming, 9(1):93-104, January 1999. |
| [73] | Ralf Hinze. Deriving monad transformers. Technical Report IAI-TR-99-1, Institut für Informatik III, Universität Bonn, January 1999. |
| [74] | Ralf Hinze. Numerical representations as higher-order nested datatypes. Technical Report IAI-TR-98-12, Institut für Informatik III, Universität Bonn, December 1998. |
| [75] | Ralf Hinze. Generalizing generalized tries. Technical Report IAI-TR-98-11, Institut für Informatik III, Universität Bonn, November 1998. |
| [76] | Ralf Hinze. Polytypic functions over nested datatypes. Technical Report IAI-TR-98-10, Institut für Informatik III, Universität Bonn, October 1998. |
| [77] | Ralf Hinze. Prological features in a functional setting - axioms and implementations. In Masahiko Sato and Yoshihito Toyama, 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. |
| [78] | Ralf Hinze. Projektionsbasierte Striktheitsanalyse. In Ausgezeichnete Informatikdissertationen 1996, pages 46-61. B.G. Teubner, Stuttgart, 1998. |
| [79] | Ralf Hinze. Efficient monadic-style backtracking. Technical Report IAI-TR-96-9, Institut für Informatik III, Universität Bonn, October 1996. |
| [80] | Ralf Hinze. Projection-based Strictness Analysis - Theoretical and Practical Aspects. Inauguraldissertation, Universität Bonn, November 1995. |
| [81] | Armin B. Cremers, Ulrike Griefahn, and Ralf Hinze. Deduktive Datenbanken - Eine Einführung aus der Sicht der logischen Programmierung. Künstliche Intelligenz. Vieweg, Braunschweig/Wiesbaden, 1994. ISBN 3-528-04700-3. |
| [82] | Armin B. Cremers, Elmar Eder, and Ralf Hinze. Die rolle der mathematischen logik in der künstlichen intelligenz. In Künstliche Intelligenz: Leitvorstellungen und Verantwortbarkeit, Band 1: Diskussionsgrundlage. Verein Deutscher Ingenieure, 1993. |
| [83] | Ralf Hinze. The categorical abstract machine: Basics and enhancments. Technical Report IAI-TR-92-1, Institut für Informatik III, Universität Bonn, December 1992. |
| [84] | Ralf Hinze. Einführung in die funktionale Programmierung mit Miranda. B.G. Teubner, Stuttgart, 1992. ISBN 3-519-02287-7. |
| [85] | R. Hinze. Einführung in die funktionale programmierung - sprachen, spezifikationen, grundlagen, implementierung. Vorlesungsskript SS 92, Universität Bonn, Institut für Informatik III, 1992. |
| [86] | Ralf Hinze. Typsysteme und typinferenzsysteme. Diplomarbeit, Universität Dortmund, May 1989. |
This file has been generated by bibtex2html 1.85.