Ralf Hinze : Publications
Books
|
[1] |
Einführung in die funktionale Programmierung mit Miranda Ralf Hinze B.G. Teubner , AddressStuttgart. 1992. |
|
[2] |
Deduktive Datenbanken — Eine Einführung aus der Sicht der logischen Programmierung Armin B. Cremers‚ Ulrike Griefahn and Ralf Hinze Vieweg , AddressBraunschweig/Wiesbaden. 1994. |
Journal papers
|
[1] |
Typed Quote/Antiquote—Or: Compile−time Parsing Ralf Hinze In JFP. 2011. to appear |
|
[2] |
Polytypic Functions Over Nested Datatypes Ralf Hinze In Discrete Mathematics and Theoretical Computer Science. Vol. 3. No. 4. Pages 193−214. September, 1999. |
|
[3] |
Concrete Stream Calculus—An extended study Ralf Hinze In JFP. Vol. 20. No. 5−6. Pages 463–535. 2011. |
|
[4] |
Generics for the masses Ralf Hinze In J. Functional Programming. Vol. 16. No. 4 & 5. Pages 451–483. , 2006. |
|
[5] |
Theoretical Pearl: Church numerals‚ twice! Ralf Hinze In J. Functional Programming. Vol. 15. No. 1. Pages 1–13. January, 2005. |
|
[6] |
Special issue on functional pearls (Editorial) Ralf Hinze In JFP. Vol. 14. No. 6. Pages 601. 2004. |
|
[7] |
Functional Pearl: Formatting: a class act Ralf Hinze In J. Functional Programming. Vol. 13. No. 5. Pages 935–944. September, 2003. |
|
[8] |
Functional Pearl: A fresh look at binary search trees Ralf Hinze In J. Functional Programming. Vol. 12. No. 6. Pages 601–607. November, 2002. |
|
[9] |
Polytypic Programming With Ease Ralf Hinze In Journal of Functional and Logic Programming. Vol. 2001. No. 3. July, 2001. |
|
[10] |
Generalizing generalized tries Ralf Hinze In JFP. Vol. 10. No. 4. Pages 327−351. 2000. |
|
[11] |
Finger trees: a simple general−purpose data structure Ralf Hinze and Ross Paterson In JFP. Vol. 16. No. 2. Pages 197−217. 2006. |
|
[12] |
Functional Pearl: Purely Functional 1−2 Brother Trees Ralf Hinze In JFP. Vol. 19. No. 6. Pages 633−644. 2009. |
|
[13] |
Functional Pearl: The Bird Tree Ralf Hinze In JFP. Vol. 19. No. 5. Pages 491–508. 2009. |
|
[14] |
Generic Programming in 3D Ralf Hinze and Andres Löh In Science of Computer Programming. Vol. 74. No. 8. Pages 590−628. June, 2009. |
|
[15] |
Special Issue on Generic Programming Editorial Ralf Hinze In JFP. Vol. 20. No. Special Issue 3–4. Pages 211−212. 2010. |
|
[16] |
Book review: “Purely Functional Data Structures”‚ by Chris Okasaki Ralf Hinze In JFP. Vol. 9. No. 5. Pages 577–578. September, 1999. |
|
[17] |
Functional Pearl: Explaining binomial heaps Ralf Hinze In JFP. Vol. 9. No. 1. Pages 93−104. January, 1999. |
|
[18] |
Polytypic values possess polykinded types Ralf Hinze In Science of Computer Programming. Vol. 43. No. 2−3. Pages 129−159. , 2002. |
|
[19] |
Prolog's Control Constructs in a Functional Setting — Axioms and Implementation Ralf Hinze In IJFCS. Vol. 12. No. 2. Pages 125−170. 2001. |
|
[20] |
Functional Pearl: Perfect trees and bit−reversal permutations Ralf Hinze In JFP. Vol. 10. No. 3. Pages 305−317. May, 2000. |
|
[21] |
Manufacturing datatypes Ralf Hinze In JFP. Vol. 11. No. 5. Pages 493−524. September, 2001. |
|
[22] |
Generic Programming in 3D Ralf Hinze and Andres Löh In Science of Computer Programming. 2007. to appear |
|
[23] |
Functional Pearl: Weaving a web Ralf Hinze and Johan Jeuring In JFP. Vol. 11. No. 6. Pages 681−689. November, 2001. |
|
[24] |
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. |
Conference papers
|
[1] |
Towards a Categorical Foundation for Generic Programming Ralf Hinze and Nicolas Wu In Jaakko Järvi and Shin−Cheng Mu, editors, ACM SIGPLAN 7th Workshop on Generic Programming. 2011. |
|
[2] |
Theory and Practice of Fusion Ralf Hinze‚ Thomas Harper and Daniel W.H. James In Jurriaan Hage, editor, Pre−proceedings of the 22nd Symposium on the Implementation and Application of Functional Languages. Pages 402–421. August, 2010. The pre−proceedings appeared as Utrecht University Technical Report UU−CS−2010−020: http://www.cs.uu.nl/research/techreps/repo/CS-2010/2010-020.pdf |
|
[3] |
Proving The Unique Fixed−Point Principle Correct 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. |
|
[4] |
Just do it: Simple monadic equational reasoning Jeremy Gibbons and Ralf Hinze In ICFP. September, 2011. |
|
[5] |
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. |
|
[6] |
Polytypic Functions Over Nested Datatypes (Extended Abstract) Ralf Hinze In Rafael Dueire Lins, editor, 3rd Latin−American Conference on Functional Programming (CLaPF'99). March, 1999. |
|
[7] |
Polytypic Programming With Ease (Extended Abstract) Ralf Hinze In Aart Middeldorp and Taisuke Sato, editors, 4th Fuji International Symposium on Functional and Logic Programming (FLOPS'99)‚ Tsukuba‚ Japan. Vol. 1722 of LNCS. Pages 21–36. Springer. November, 1999. |
|
[8] |
An algebra of scans Ralf Hinze In Dexter Kozen, 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. Pages 186−210. Springer. July, 2004. |
|
[9] |
Generics for the masses Ralf Hinze 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. |
|
[10] |
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 2002)‚ Dagstuhl‚ Germany‚ July 8−10‚ 2002. Vol. 2386 of LNCS. Pages 131–147. Springer. July, 2002. |
|
[11] |
Bootstrapping One−sided Flexible Arrays Ralf Hinze In Simon Peyton Jones, 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. |
|
[12] |
A Simple Implementation Technique for Priority Search Queues Ralf Hinze In Xavier Leroy, editor, Proceedings of the 2001 International Conference on Functional Programming‚ Firenze‚ Italy‚ September 3−5‚ 2001. Pages 110–121. September, 2001. |
|
[13] |
A New Approach to Generic Functional Programming Ralf Hinze 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. |
|
[14] |
Memo functions‚ polytypically! Ralf Hinze 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 |
|
[15] |
Polytypic values possess polykinded types Ralf Hinze 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. Vol. 1837 of LNCS. Pages 2–27. Springer. July, 2000. |
|
[16] |
Efficient Generalized Folds Ralf Hinze 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 |
|
[17] |
Deriving Backtracking Monad Transformers Ralf Hinze In Phil Wadler, editor, Proceedings of the 2000 International Conference on Functional Programming‚ Montreal‚ Canada‚ September 18−20‚ 2000. Pages 186–197. September, 2000. |
|
[18] |
A Lightweight Implementation of Generics and Dynamics James Cheney and Ralf Hinze In Manuel M.T. Chakravarty, editor, Proceedings of the 2002 ACM SIGPLAN Haskell Workshop. Pages 90−104. ACM−Press. October, 2002. |
|
[19] |
Functional Pearl: Trouble Shared is Trouble Halved Richard Bird and Ralf Hinze In Johan Jeuring, editor, Proceedings of the 2003 ACM SIGPLAN Haskell Workshop. Pages 1–6. ACM−Press. September, 2003. |
|
[20] |
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. |
|
[21] |
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/ |
|
[22] |
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. |
|
[23] |
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. |
|
[24] |
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. |
|
[25] |
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. |
|
[26] |
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. Pages 85–96. New York‚ NY‚ USA. September, 2010. ACM. |
|
[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] |
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. |
|
[29] |
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 |
|
[30] |
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 |
|
[31] |
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 |
|
[32] |
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. |
|
[33] |
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 |
|
[34] |
“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. |
|
[35] |
“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. |
|
[36] |
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. |
|
[37] |
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. |
|
[38] |
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. |
|
[39] |
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 |
Conference proceedings
|
[1] |
Proceedings of the 2001 ACM SIGPLAN Haskell Workshop Ralf Hinze, editor Ralf Hinze, editor The preliminary proceedings appeared as a technical report of Universiteit Utrecht‚ UU−CS−2001−62 |
|
[2] |
Proceedings of the ACM SIGPLAN workshop on Generic Programming (WGP '08) Ralf Hinze and Don Syme, editors Ralf Hinze and Don Syme, editors |
|
[3] |
Datatype−Generic Programming Roland Backhouse‚ Jeremy Gibbons‚ Ralf Hinze and Johan Jeuring, editors Roland Backhouse‚ Jeremy Gibbons‚ Ralf Hinze and Johan Jeuring, editors |
|
[4] |
Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming (WGP '06) Ralf Hinze, editor Ralf Hinze, editor |
Technical reports
|
[1] |
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. |
|
[2] |
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. |
|
[3] |
Generic Haskell: Practice and Theory Ralf Hinze and Johan Jeuring No. UU−CS−2003−15. Universiteit Utrecht. 2003. |
|
[4] |
Generic Haskell: Applications Ralf Hinze and Johan Jeuring No. UU−CS−2003−16. Universiteit Utrecht. 2003. |
|
[5] |
Functional Pearl: Weaving a Web Ralf Hinze No. UU−CS−2001−33. Universiteit Utrecht. 2001. |
|
[6] |
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. |
|
[7] |
Constructing Red−Black Trees Ralf Hinze No. IAI−TR−99−6. Institut für Informatik III‚ Universität Bonn. May, 1999. |
|
[8] |
Polytypic values possess polykinded types Ralf Hinze No. IAI−TR−99−15. Institut für Informatik III‚ Universität Bonn. December, 1999. |
|
[9] |
Perfect Trees and Bit−reversal Permutations Ralf Hinze No. IAI−TR−99−4. Institut für Informatik III‚ Universität Bonn. March, 1999. |
|
[10] |
A New Approach to Generic Functional Programming Ralf Hinze No. IAI−TR−99−9. Institut für Informatik III‚ Universität Bonn. July, 1999. |
|
[11] |
Manufacturing Datatypes Ralf Hinze No. IAI−TR−99−5. Institut für Informatik III‚ Universität Bonn. April, 1999. |
|
[12] |
Efficient Generalized Folds Ralf Hinze No. IAI−TR−99−8. Institut für Informatik III‚ Universität Bonn. June, 1999. |
|
[13] |
Polytypic Programming With Ease Ralf Hinze No. IAI−TR−99−2. Institut für Informatik III‚ Universität Bonn. February, 1999. |
|
[14] |
Deriving monad transformers Ralf Hinze No. IAI−TR−99−1. Institut für Informatik III‚ Universität Bonn. January, 1999. |
|
[15] |
Polytypic Functions Over Nested Datatypes Ralf Hinze No. IAI−TR−98−10. Institut für Informatik III‚ Universität Bonn. October, 1998. |
|
[16] |
Numerical Representations as Higher−Order Nested Datatypes Ralf Hinze No. IAI−TR−98−12. Institut für Informatik III‚ Universität Bonn. December, 1998. |
|
[17] |
Generalizing Generalized Tries Ralf Hinze No. IAI−TR−98−11. Institut für Informatik III‚ Universität Bonn. November, 1998. |
|
[18] |
Efficient Monadic−style Backtracking Ralf Hinze No. IAI−TR−96−9. Institut für Informatik III‚ Universität Bonn. October, 1996. |
|
[19] |
The Categorical Abstract Machine: Basics and Enhancments Ralf Hinze No. IAI−TR−92−1. Institut für Informatik III‚ Universität Bonn. December, 1992. |
|
[20] |
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. |
|
[21] |
Church numerals‚ twice! Ralf Hinze No. IAI−TR−2002−3. Institut für Informatik III‚ Universität Bonn. February, 2002. |
|
[22] |
A Simple Implementation Technique for Priority Search Queues Ralf Hinze No. UU−CS−2001−09. Universiteit Utrecht. March, 2001. |
|
[23] |
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. |
|
[24] |
“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. |
|
[25] |
Type−indexed data types Ralf Hinze‚ Johan Jeuring and Andres Löh No. UU−CS−2002−11. Universiteit Utrecht. 2002. |
|
[26] |
First−Class Phantom Types James Cheney and Ralf Hinze Cornell University. 2003. |
|
[27] |
Combining Generics and Dynamics Peter Achten and Ralf Hinze No. NIII−R0206. Nijmegen Institute for Computing and Information Sciences‚ University of Nijmegen. July, 2002. |
Theses
|
[1] |
Typsysteme und Typinferenzsysteme Ralf Hinze Master's Thesis , type=Diplomarbeit DiplomarbeitType. Universität Dortmund. May, 1989. |
|
[2] |
Generic Programs and Proofs Ralf Hinze PhD Thesis , type={Habilitationsschrift} HabilitationsschriftType. Universität Bonn. 2000. |
|
[3] |
Projection−based Strictness Analysis — Theoretical and Practical Aspects Ralf Hinze PhD Thesis , type=Inauguraldissertation InauguraldissertationType. Universität Bonn. November, 1995. |
Miscellaneous
|
[1] |
Functional Pearl: F for Functor Ralf Hinze‚ Jennifer Hackett and Daniel W. H. James March, 2012. Submitted to ICFP '12 |
|
[2] |
Theory and Practice of Fusion Ralf Hinze‚ Thomas Harper and Daniel W.H. James In Jurriaan Hage and Marco Morazán, editors, Implementation and Application of Functional Languages. Vol. 6647 of Lecture Notes in Computer Science. Pages 19–37. Springer Berlin / Heidelberg. January, 2011. |
|
[3] |
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. |
|
[4] |
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. |
|
[5] |
Typed Quote/Antiquote Ralf Hinze 2004. in preparation |
|
[6] |
Generic Haskell: Practice and Theory Ralf Hinze and Johan Jeuring In Roland Backhouse and Jeremy Gibbons, editors, Generic Programming: Advanced Lectures. Vol. 2793 of LNCS. Pages 1–56. Springer. 2003. |
|
[7] |
Generic Haskell: Applications Ralf Hinze and Johan Jeuring In Roland Backhouse and Jeremy Gibbons, editors, Generic Programming: Advanced Lectures. Vol. 2793 of LNCS. Pages 57–97. Springer. 2003. |
|
[8] |
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. |
|
[9] |
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. |
|
[10] |
Projektionsbasierte Striktheitsanalyse Ralf Hinze In Ausgezeichnete Informatikdissertationen 1996. Pages 46−61. B.G. Teubner , AddressStuttgart. 1998. |
|
[11] |
Einführung in die funktionale Programmierung − Sprachen‚ Spezifikationen‚ Grundlagen‚ Implementierung R. Hinze 1992. Vorlesungsskript SS 92‚ Universität Bonn‚ Institut für Informatik III |
|
[12] |
Fun with phantom types Ralf Hinze 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 |
|
[13] |
Derivation of a Typed Functional LR Parser Ralf Hinze and Ross Paterson 2003. in preparation |
|
[14] |
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. |
|
[15] |
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. To appear |
|
[16] |
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. |