University of Oxford Logo University of OxfordDepartment of Computer Science - Home

Ralf Hinze : Publications

By dateBy titleBy typeBibtex

[1]

Conjugate Hylomorphisms‚ or: The Mother of All Structured Recursion Schemes

Ralf Hinze‚ Nick Wu and Jeremy Gibbons

July, 2014.

Draft − submitted for review

[2]

Squiggoling with Bialgebras: Recursion Schemes from Comonads Revisited

Jurriaan Hage [editor]‚ Atze Dijkstra [editor]‚ Ralf Hinze and Nicolas Wu

Liber amicorum voor Doaitse Swierstra. May, 2013.

[3]

Adjoint folds and unfolds—An extended study

Ralf Hinze

In Science of Computer Programming. Vol. 78. No. 11. Pages 2108−2159. 2013.

[4]

Histo− and Dynamorphisms Revisited

Ralf Hinze and Nicolas Wu

In Jacques Carette and Jeremiah Willcock, editors, Proceedings of the 9th ACM SIGPLAN Workshop on Generic Programming. Pages 1–12. New York‚ NY‚ USA. 2013. ACM.

[5]

Sorting and Searching by Distribution: From Generic Discrimination to Generic Tries

Fritz Henglein and Ralf Hinze

In Chung−chieh Shan, editor, Proceedings of the 11th Asian Symposium on Programming Languages and Systems (APLAS 2013). Vol. 8301 of Lecture Notes in Computer Science. Pages 315−332. Springer International Publishing. 2013.

[6]

Unifying Structured Recursion Schemes

Ralf Hinze‚ Nicolas Wu and Jeremy Gibbons

In Tarmo Uustalu, editor, Proceedings of the 18th ACM SIGPLAN International Conference on Functional Programming. Pages 209–220. New York‚ NY‚ USA. 2013. ACM.

[7]

Implementation and Application of Functional Languages

Ralf Hinze, editor

[8]

A Duality of Sorts

Ralf Hinze‚ José Pedro Magalhães and Nicolas Wu

In Peter Achten and Pieter Koopman, editors, The Beauty of Functional Code. Vol. 8106 of Lecture Notes in Computer Science. Pages 151−167. Springer Berlin Heidelberg. 2013.

[9]

Kan Extensions for Program Optimisation—Or: Art and Dan Explain an Old Trick

Ralf Hinze

In Jeremy Gibbons and Pablo Nogueira, editors, 11th International Conference on Mathematics of Program Construction (MPC '12). Vol. 7342 of Lecture Notes in Computer Science. Pages 324–362. Springer Berlin / Heidelberg. 2012.

[10]

Sorting with bialgebras and distributive laws

Ralf Hinze‚ Daniel W.H. James‚ Thomas Harper‚ Nicolas Wu and José Pedro Magalhães

In Proceedings of the 8th ACM SIGPLAN workshop on Generic programming. Pages 69–80. New York‚ NY‚ USA. 2012. ACM.

[11]

Functional Pearl: F for Functor

Ralf Hinze‚ Jennifer Hackett and Daniel W. H. James

2012.

[12]

Generic Programming with Adjunctions

Ralf Hinze

In Jeremy Gibbons, editor, Spring School on Generic and Indexed Programming. Vol. 7470 of Lecture Notes in Computer Science. Pages 47−129. Springer Berlin Heidelberg. 2012.

[13]

Theory and Practice of Fusion

Ralf Hinze‚ Daniel W.H. James and Tom Harper

In Jurriaan Hage and Marco Morazán, editors, Proceedings of the 22nd Symposium on the Implementation and Application of Functional Languages (IFL '10). Vol. 6647 of Lecture Notes in Computer Science. Pages 19–37. Springer−Verlag. September, 2011.

[14]

Proving the unique fixed−point principle correct: an adventure with category theory

Ralf Hinze and Daniel W.H. James

In Proceeding of the 16th ACM SIGPLAN international conference on Functional programming. Pages 359–371. New York‚ NY‚ USA. September, 2011. ACM.

[15]

Typed Quote/Antiquote—Or: Compile−time Parsing

Ralf Hinze

In JFP. Vol. 21. No. 3. Pages 219–234. 2011.

[16]

Concrete Stream Calculus—An extended study

Ralf Hinze

In JFP. Vol. 20. No. 5−6. Pages 463–535. 2011.

[17]

Type Fusion

Ralf Hinze

In Dusko Pavlovic and Michael Johnson, editors, Thirteenth International Conference on Algebraic Methodology And Software Technology (AMAST 2010). Vol. 6486 of Lecture Notes in Computer Science. Pages 92−110. Springer−Verlag. 2011.

[18]

Scans and Convolutions—A Calculational Proof of Moessner's Theorem

Ralf Hinze

In Sven−Bodo Scholz and Olaf Chitil, editors, Post−proceedings of the 20th International Symposium on the Implementation and Application of Functional Languages (IFL '08). Vol. 5836 of Lecture Notes in Computer Science. Pages 1–24. Springer−Verlag. 2011.

[19]

Just do it: simple monadic equational reasoning

Jeremy Gibbons and Ralf Hinze

In Proceeding of the 16th ACM SIGPLAN international conference on Functional programming. Pages 2–14. New York‚ NY‚ USA. 2011. ACM.

[20]

Towards a categorical foundation for generic programming

Ralf Hinze and Nicolas Wu

In Jaakko Järvi and Shin−Cheng Mu, editors, Proceedings of the seventh ACM SIGPLAN workshop on Generic programming. Pages 47−58. New York‚ NY‚ USA. 2011. ACM.

[21]

Proving The Unique Fixed−Point Principle Correct

Ralf Hinze and Daniel W. H. James

No. CS−RR−2011−03. Department of Computer Science‚ University of Oxford. 2011.

[22]

Theory and Practice of Fusion

Ralf Hinze‚ Thomas Harper and Daniel W.H. James

No. CS−RR−2011−01. Department of Computer Science‚ University of Oxford. 2011.

[23]

Reason isomorphically!

Ralf Hinze and Daniel W. H. James

In Bruno C.d.S. Oliveira and Marcin Zalewski, editors, Proceedings of the 6th ACM SIGPLAN workshop on Generic programming (WGP '10). Pages 85–96. New York‚ NY‚ USA. September, 2010. ACM.

[24]

Special Issue on Generic Programming Editorial

Ralf Hinze

In JFP. Vol. 20. No. Special Issue 3–4. Pages 211−212. 2010.

[25]

A reflection−based proof tactic for lattices in Coq

Daniel W.H. James and Ralf Hinze

In Zoltán Horváth‚ Viktόria Zsόk‚ Peter Achten and Pieter Koopman, editors, Post−conference proceedings of the 10th Symposium on Trends in Functional Programming (TFP 2009). Pages 97−112. Intellect. 2010.

[26]

Adjoint Folds and Unfolds‚ Or: Scything through the Thicket of Morphisms

Ralf Hinze

In Claude Bolduc‚ Jules Desharnais and Béchir Ktari, editors, 10th International Conference on Mathematics of Program Construction (MPC '10). Vol. 6120 of Lecture Notes in Computer Science. Pages 195−228. Springer Berlin / Heidelberg. 2010.

[27]

Type Fusion

Ralf Hinze

In Dusko Pavlovic and Michael Johnson, editors, Thirteenth International Conference on Algebraic Methodology And Software Technology (AMAST 2010). Vol. 6486 of Lecture Notes in Computer Science. Springer−Verlag. 2010.

to appear

[28]

Reasoning about Codata

Ralf Hinze

In Zoltán Horváth‚ Rinus Plasmeijer and Viktόria Zsόk, editors, Third Central European Functional Programming School (CEFP 2009). Vol. 6299 of Lecture Notes in Computer Science. Pages 42–93. Springer Berlin / Heidelberg. 2010.

[29]

Generic Programming in 3D

Ralf Hinze and Andres Löh

In Science of Computer Programming. Vol. 74. No. 8. Pages 590−628. June, 2009.

[30]

A Reflection−based Proof Tactic for Lattices in Coq

Daniel W.H. James and Ralf Hinze

In Zoltán Horváth and Viktόria Zsόk, editors, Post−symposium proceedings of the 10th Symposium on Trends in Functional Programming. Intellect. June, 2009.

http://www.intellectbooks.co.uk/books/view−Book‚id=4740/

[31]

A reflection−based proof tactic for lattices in Coq

Daniel W.H. James and Ralf Hinze

In Zoltán Horváth and Viktόria Zsόk, editors, Post−symposium proceedings of the 10th Symposium on Trends in Functional Programming. Chapter 7. Pages 97–112. Intellect. June, 2009.

http://www.intellectbooks.co.uk/books/view-Book,id=4740/

[32]

Functional Pearl: Purely Functional 1−2 Brother Trees

Ralf Hinze

In JFP. Vol. 19. No. 6. Pages 633−644. 2009.

[33]

Functional Pearl: The Bird Tree

Ralf Hinze

In JFP. Vol. 19. No. 5. Pages 491–508. 2009.

[34]

Functional pearl: la tour d'Hanoï

Ralf Hinze

In Andrew Tolmach, editor, Proceedings of the 14th ACM SIGPLAN international conference on Functional Programming (ICFP '09). Pages 3−10. New York‚ NY‚ USA. 2009. ACM.

[35]

Scans and Convolutions—A Calculational Proof of Moessner's Theorem

Ralf Hinze

In Sven−Bodo Scholz, editor, Post−proceedings of the 20th International Symposium on the Implementation and Application of Functional Languages (IFL '08). Vol. 5836 of Lecture Notes in Computer Science. Springer−Verlag. 2009.

[36]

Functional pearl: streams and unique fixed points

Ralf Hinze

In Peter Thiemann, editor, Proceedings of the 13th ACM SIGPLAN international conference on Functional Programming (ICFP '08). Pages 189−200. New York‚ NY‚ USA. September, 2008. ACM.

[37]

Proceedings of the ACM SIGPLAN workshop on Generic Programming (WGP '08)

Ralf Hinze and Don Syme, editors

[38]

Exploiting Unique Fixed Points (Invited Lecture)

Ralf Hinze

In Philippe Audebaud and Christine Paulin−Mohring, editors, 9th International Conference on Mathematics of Program Construction (MPC '08). Vol. 5133 of Lecture Notes in Computer Science. Pages 1. Springer Berlin / Heidelberg. July, 2008.

[39]

Generic Programming in 3D

Ralf Hinze and Andres Löh

In Science of Computer Programming. 2007.

to appear

[40]

Datatype−Generic Programming

Roland Backhouse‚ Jeremy Gibbons‚ Ralf Hinze and Johan Jeuring, editors

[41]

Generic Programming‚ Now!

Ralf Hinze and Andres Löh

In Roland Backhouse‚ Jeremy Gibbons‚ Ralf Hinze and Johan Jeuring, editors, Datatype−Generic Programming. Vol. 4719 of Lecture Notes in Computer Science. Pages 150−208. Springer Berlin / Heidelberg. 2007.

[42]

Comparing Approaches to Generic Programming in Haskell

Ralf Hinze‚ Johan Jeuring and Andres Löh

In Roland Backhouse‚ Jeremy Gibbons‚ Ralf Hinze and Johan Jeuring, editors, Datatype−Generic Programming. Vol. 4719 of Lecture Notes in Computer Science. Pages 72−149. Springer Berlin / Heidelberg. 2007.

[43]

Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming (WGP '06)

Ralf Hinze, editor

[44]

Open data types and open functions

Andres Löh and Ralf Hinze

In Michael Maher, editor, Proceedings of the 8th ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP '06). Pages 133−144. New York‚ NY‚ USA. July, 2006. ACM.

[45]

“Scrap Your Boilerplate” Revolutions

Ralf Hinze and Andres Löh

In Tarmo Uustalu, editor, 8th International Conference on Mathematics of Program Construction (MPC '06). Vol. 4014 of Lecture Notes in Computer Science. Pages 180−208. Springer Berlin / Heidelberg. July, 2006.

[46]

“Scrap Your Boilerplate” Reloaded

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

In Masami Hagiya and Philip Wadler, editors, Proceedings of the Eighth International Symposium on Functional and Logic Programming (FLOPS 2006). Vol. 3945 of Lecture Notes in Computer Science. Pages 13−29. Springer Berlin / Heidelberg. April, 2006.

[47]

Typed Contracts for Functional Programming

Ralf Hinze‚ Johan Jeuring and Andres Löh

In Masami Hagiya and Philip Wadler, editors, Proceedings of the Eighth International Symposium on Functional and Logic Programming (FLOPS 2006). Vol. 3945 of Lecture Notes in Computer Science. Pages 208−225. Springer Berlin / Heidelberg. April, 2006.

[48]

Open data types and open functions

Ralf Hinze and Andres Löh

No. IAI−TR−2006−3. Institut für Informatik III‚ Universität Bonn. February, 2006.

[49]

“Scrap Your Boilerplate” Reloaded

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

No. IAI−TR−2006−2. Institut für Informatik III‚ Universität Bonn. January, 2006.

[50]

Generics for the masses

Ralf Hinze

In JFP. Vol. 16. No. 4−5. Pages 451−483. July, 2006.

[51]

Finger trees: a simple general−purpose data structure

Ralf Hinze and Ross Paterson

In JFP. Vol. 16. No. 2. Pages 197−217. 2006.

[52]

Generics as a Library

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

In Henrik Nilsson, editor, Proceedings of the Seventh Symposium on Trends in Functional Programming (TFP '06). Intellect. 2006.

[53]

Theoretical Pearl: Church numerals‚ twice!

Ralf Hinze

In JFP. Vol. 15. No. 1. Pages 1−13. January, 2005.

[54]

Generics for the masses

Ralf Hinze

In Kathleen Fisher, editor, Proceedings of the ninth ACM SIGPLAN international conference on Functional Programming (ICFP '04). Pages 236−243. New York‚ NY‚ USA. September, 2004. ACM.

[55]

An Algebra of Scans

Ralf Hinze

In Dexter Kozen, editor, Proceedings of the Seventh International Conference on Mathematics of Program Construction (MPC '04). Vol. 3125 of Lecture Notes in Computer Science. Pages 186−210. Springer Berlin / Heidelberg. July, 2004.

[56]

Type−indexed data types

Ralf Hinze‚ Johan Jeuring and Andres Löh

In Science of Computer Programming. Vol. 51. No. 1−2. Pages 117−151. May, 2004.

[57]

Special issue on functional pearls (Editorial)

Ralf Hinze

In JFP. Vol. 14. No. 6. Pages 601. 2004.

[58]

Typed Quote/Antiquote

Ralf Hinze

2004.

in preparation

[59]

Functional Pearl: Formatting: a class act

Ralf Hinze

In JFP. Vol. 13. No. 5. Pages 935−944. September, 2003.

[60]

Functional Pearl: Trouble shared is trouble halved

Richard Bird and Ralf Hinze

In Johan Jeuring, editor, Proceedings of the 2003 ACM SIGPLAN workshop on Haskell (Haskell '03). Pages 1–6. New York‚ NY‚ USA. September, 2003. ACM.

[61]

Generic Haskell: Practice and Theory

Ralf Hinze and Johan Jeuring

No. UU−CS−2003−15. Universiteit Utrecht. 2003.

[62]

Generic Haskell: Applications

Ralf Hinze and Johan Jeuring

No. UU−CS−2003−16. Universiteit Utrecht. 2003.

[63]

First−Class Phantom Types

James Cheney and Ralf Hinze

Cornell University. 2003.

[64]

Generic Haskell: Practice and Theory

Ralf Hinze and Johan Jeuring

In Roland Backhouse and Jeremy Gibbons, editors, Generic Programming: Advanced Lectures. Vol. 2793 of Lecture Notes in Computer Science. Pages 1−56. Springer Berlin / Heidelberg. 2003.

[65]

Generic Haskell: Applications

Ralf Hinze and Johan Jeuring

In Roland Backhouse and Jeremy Gibbons, editors, Generic Programming: Advanced Lectures. Vol. 2793 of Lecture Notes in Computer Science. Pages 57−96. Springer Berlin / Heidelberg. 2003.

[66]

Fun with phantom types

Ralf Hinze

In Jeremy Gibbons and Oege de Moor, editors, The Fun of Programming. Pages 245−262. Palgrave Macmillan. 2003.

[67]

Derivation of a Typed Functional LR Parser

Ralf Hinze and Ross Paterson

2003.

in preparation

[68]

Constructing Tournament Representations: An Exercise in Pointwise Relational Programming

Ralf Hinze

In Eerke A. Boiten and Bernhard Möller, editors, Proceedings of the Sixth International Conference on Mathematics of Program Construction (MPC '02). Vol. 2386 of Lecture Notes in Computer Science. Pages 131–147. Springer Berlin / Heidelberg. July, 2002.

[69]

Type−indexed Data Types

Ralf Hinze‚ Johan Jeuring and Andres Löh

In Eerke A. Boiten and Bernhard Möller, editors, Proceedings of the Sixth International Conference on Mathematics of Program Construction (MPC '02). Vol. 2386 of Lecture Notes in Computer Science. Pages 148–174. Springer Berlin / Heidelberg. July, 2002.

[70]

Combining Generics and Dynamics

Peter Achten and Ralf Hinze

No. NIII−R0206. Nijmegen Institute for Computing and Information Sciences‚ University of Nijmegen. July, 2002.

[71]

Constructing tournament representations: An exercise in pointwise relational programming

Ralf Hinze

No. IAI−TR−2002−2. Institut für Informatik III‚ Universität Bonn. February, 2002.

[72]

Church numerals‚ twice!

Ralf Hinze

No. IAI−TR−2002−3. Institut für Informatik III‚ Universität Bonn. February, 2002.

[73]

Functional Pearl: A fresh look at binary search trees

Ralf Hinze

In JFP. Vol. 12. No. 6. Pages 601−607. November, 2002.

[74]

Bootstrapping one−sided flexible arrays

Ralf Hinze

In Simon Peyton Jones, editor, Proceedings of the seventh ACM SIGPLAN international conference on Functional programming (ICFP '02). Pages 2−13. New York‚ NY‚ USA. October, 2002. ACM.

[75]

A lightweight implementation of generics and dynamics

James Cheney and Ralf Hinze

In Manuel M.T. Chakravarty, editor, Proceedings of the 2002 ACM SIGPLAN workshop on Haskell (Haskell '02). Pages 90−104. New York‚ NY‚ USA. October, 2002. ACM.

[76]

Polytypic values possess polykinded types

Ralf Hinze

In Science of Computer Programming. Vol. 43. No. 2−3. Pages 129−159. 2002.

[77]

Type−indexed data types

Ralf Hinze‚ Johan Jeuring and Andres Löh

No. UU−CS−2002−11. Universiteit Utrecht. 2002.

[78]

Manufacturing datatypes

Ralf Hinze

In JFP. Vol. 11. No. 5. Pages 493−524. September, 2001.

[79]

A simple implementation technique for priority search queues

Ralf Hinze

In Xavier Leroy, editor, Proceedings of the sixth ACM SIGPLAN international conference on Functional programming (ICFP '01). Pages 110–121. New York‚ NY‚ USA. September, 2001. ACM.

[80]

Proceedings of the 2001 ACM SIGPLAN Haskell Workshop

Ralf Hinze, editor

The preliminary proceedings appeared as a technical report of Universiteit Utrecht‚ UU−CS−2001−62

[81]

Derivable Type Classes

Ralf Hinze and Simon Peyton Jones

In Graham Hutton, editor, Proceedings of the 2000 ACM SIGPLAN Haskell Workshop. Vol. 41(1) of Electronic Notes in Theoretical Computer Science. Pages 5−35. Elsevier Science. August, 2001.

The preliminary proceedings appeared as a University of Nottingham technical report

[82]

Polytypic Programming With Ease

Ralf Hinze

In Journal of Functional and Logic Programming. Vol. 2001. No. 3. July, 2001.

[83]

A Simple Implementation Technique for Priority Search Queues

Ralf Hinze

No. UU−CS−2001−09. Universiteit Utrecht. March, 2001.

[84]

Functional Pearl: Weaving a web

Ralf Hinze and Johan Jeuring

In JFP. Vol. 11. No. 6. Pages 681−689. November, 2001.

[85]

The Generic Haskell user's guide

Dave Clarke‚ Ralf Hinze‚ Johan Jeuring‚ Andres Löh and Jan de Wit

No. UU−CS−2001−26. Universiteit Utrecht. November, 2001.

[86]

Prolog's Control Constructs in a Functional Setting — Axioms and Implementation

Ralf Hinze

In IJFCS. Vol. 12. No. 2. Pages 125−170. 2001.

[87]

Functional Pearl: Weaving a Web

Ralf Hinze

No. UU−CS−2001−33. Universiteit Utrecht. 2001.

[88]

Deriving backtracking monad transformers

Ralf Hinze

In Phil Wadler, editor, Proceedings of the fifth ACM SIGPLAN international conference on Functional programming (ICFP '00). Pages 186–197. New York‚ NY‚ USA. September, 2000. ACM.

[89]

Memo functions‚ polytypically!

Ralf Hinze

In Johan Jeuring, editor, Proceedings of the second Workshop on Generic Programming. Pages 17–32. July, 2000.

The proceedings appeared as a technical report of Universiteit Utrecht‚ UU−CS−2000−19

[90]

Polytypic Values Possess Polykinded Types

Ralf Hinze

In Roland Backhouse and José Oliveira, editors, Proceedings of the Fifth International Conference on Mathematics of Program Construction (MPC '00). Vol. 1837 of Lecture Notes in Computer Science. Pages 2−27. Springer Berlin / Heidelberg. July, 2000.

[91]

Efficient Generalized Folds

Ralf Hinze

In Johan Jeuring, editor, Proceedings of the second Workshop on Generic Programming. Pages 1–16. July, 2000.

The proceedings appeared as a technical report of Universiteit Utrecht‚ UU−CS−2000−19

[92]

Functional Pearl: Perfect trees and bit−reversal permutations

Ralf Hinze

In JFP. Vol. 10. No. 3. Pages 305−317. May, 2000.

[93]

A new approach to generic functional programming

Ralf Hinze

In Thomas W. Reps, editor, Proceedings of the 27th ACM SIGPLAN−SIGACT symposium on Principles of programming languages (POPL '00). Pages 119–132. New York‚ NY‚ USA. January, 2000. ACM.

[94]

Generalizing generalized tries

Ralf Hinze

In JFP. Vol. 10. No. 4. Pages 327−351. 2000.

[95]

Generic Programs and Proofs

Ralf Hinze

PhD Thesis , type= Habilitationsschrift. Universität Bonn. 2000.

[96]

Polytypic Functions Over Nested Datatypes

Ralf Hinze

In Discrete Mathematics and Theoretical Computer Science. Vol. 3. No. 4. Pages 193−214. September, 1999.

[97]

Book review: “Purely Functional Data Structures”‚ by Chris Okasaki

Ralf Hinze

In JFP. Vol. 9. No. 5. Pages 577–578. September, 1999.

[98]

Manufacturing Datatypes

Ralf Hinze

In Chris Okasaki, editor, Proceedings of the Workshop on Algorithmic Aspects of Advanced Programming Languages (WAAAPL '99). 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

[99]

A Generic Programming Extension for Haskell

Ralf Hinze

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

[100]

Constructing Red−Black Trees

Ralf Hinze

In Chris Okasaki, editor, Proceedings of the Workshop on Algorithmic Aspects of Advanced Programming Languages (WAAAPL' 99). Pages 89–99. September, 1999.

The proceedings appeared as a technical report of Columbia University‚ CUCS−023−99

[101]

Straight to the Heart of Computer Science via Functional Programming

Robert Giegerich‚ Ralf Hinze and Stefan Kurtz

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

[102]

A New Approach to Generic Functional Programming

Ralf Hinze

No. IAI−TR−99−9. Institut für Informatik III‚ Universität Bonn. July, 1999.

[103]

Efficient Generalized Folds

Ralf Hinze

No. IAI−TR−99−8. Institut für Informatik III‚ Universität Bonn. June, 1999.

[104]

Constructing Red−Black Trees

Ralf Hinze

No. IAI−TR−99−6. Institut für Informatik III‚ Universität Bonn. May, 1999.

[105]

Manufacturing Datatypes

Ralf Hinze

No. IAI−TR−99−5. Institut für Informatik III‚ Universität Bonn. April, 1999.

[106]

Polytypic Functions Over Nested Datatypes (Extended Abstract)

Ralf Hinze

In Rafael Dueire Lins, editor, Proceedings of the 3rd Latin−American Conference on Functional Programming (CLaPF '99). March, 1999.

[107]

Perfect Trees and Bit−reversal Permutations

Ralf Hinze

No. IAI−TR−99−4. Institut für Informatik III‚ Universität Bonn. March, 1999.

[108]

Polytypic Programming With Ease

Ralf Hinze

No. IAI−TR−99−2. Institut für Informatik III‚ Universität Bonn. February, 1999.

[109]

Standard Libraries for the Haskell 98 Programming Language

Simon Peyton Jones [editor]‚ John Hughes [editor]‚ Simon‚ 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

Available from http://www.haskell.org/definition/. February, 1999.

[110]

Standard Libraries for the Haskell 98 Programming Language

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

Available from http://www.haskell.org/definition/. February, 1999.

[111]

Haskell 98 — A Non−strict‚ Purely Functional Language

Simon Peyton Jones [editor]‚ John Hughes [editor]‚ Simon‚ 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

Available from http://www.haskell.org/definition/. February, 1999.

[112]

Polytypic values possess polykinded types

Ralf Hinze

No. IAI−TR−99−15. Institut für Informatik III‚ Universität Bonn. December, 1999.

[113]

Polytypic Programming With Ease (Extended Abstract)

Ralf Hinze

In Aart Middeldorp and Taisuke Sato, editors, Proceedings of the 4th Fuji International Symposium on Functional and Logic Programming (FLOPS '99). Vol. 1722 of Lecture Notes in Computer Science. Pages 21−36. Springer Berlin / Heidelberg. November, 1999.

[114]

Functional Pearl: Explaining binomial heaps

Ralf Hinze

In JFP. Vol. 9. No. 1. Pages 93−104. January, 1999.

[115]

Deriving monad transformers

Ralf Hinze

No. IAI−TR−99−1. Institut für Informatik III‚ Universität Bonn. January, 1999.

[116]

Prological Features in a Functional Setting — Axioms and Implementations

Ralf Hinze

In Masahiko Sato and Yoshihito Toyama, editors, Proceedings of the Third Fuji International Symposium on Functional and Logic Programming (FLOPS '98). Pages 98–122. Singapore‚ New Jersey‚ London‚ Hong Kong. April, 1998. World Scientific.

[117]

Numerical Representations as Higher−Order Nested Datatypes

Ralf Hinze

No. IAI−TR−98−12. Institut für Informatik III‚ Universität Bonn. December, 1998.

[118]

Generalizing Generalized Tries

Ralf Hinze

No. IAI−TR−98−11. Institut für Informatik III‚ Universität Bonn. November, 1998.

[119]

Polytypic Functions Over Nested Datatypes

Ralf Hinze

No. IAI−TR−98−10. Institut für Informatik III‚ Universität Bonn. October, 1998.

[120]

Projektionsbasierte Striktheitsanalyse

Ralf Hinze

In Ausgezeichnete Informatikdissertationen 1996. Pages 46−61. B.G. Teubner, Stuttgart. 1998.

[121]

Efficient Monadic−style Backtracking

Ralf Hinze

No. IAI−TR−96−9. Institut für Informatik III‚ Universität Bonn. October, 1996.

[122]

Projection−based Strictness Analysis — Theoretical and Practical Aspects

Ralf Hinze

PhD Thesis , type= Inauguraldissertation. Universität Bonn. November, 1995.

[123]

Deduktive Datenbanken — Eine Einführung aus der Sicht der logischen Programmierung

Armin B. Cremers‚ Ulrike Griefahn and Ralf Hinze

Vieweg, Braunschweig/Wiesbaden. 1994.

[124]

Die Rolle der mathematischen Logik in der Künstlichen Intelligenz

Armin B. Cremers‚ Elmar Eder and Ralf Hinze

In Künstliche Intelligenz: Leitvorstellungen und Verantwortbarkeit‚ Band 1: Diskussionsgrundlage. Verein Deutscher Ingenieure. 1993.

[125]

The Categorical Abstract Machine: Basics and Enhancments

Ralf Hinze

No. IAI−TR−92−1. Institut für Informatik III‚ Universität Bonn. December, 1992.

[126]

Einführung in die funktionale Programmierung mit Miranda

Ralf Hinze

B.G. Teubner, Stuttgart. 1992.

[127]

Einführung in die funktionale Programmierung − Sprachen‚ Spezifikationen‚ Grundlagen‚ Implementierung

R. Hinze

1992.

Vorlesungsskript SS 92‚ Universität Bonn‚ Institut für Informatik III

[128]

Typsysteme und Typinferenzsysteme

Ralf Hinze

Master's Thesis , type= Diplomarbeit. Universität Dortmund. May, 1989.