Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Ralf Hinze
@article{DBLP:journals/jfp/Hinze23, author = {Ralf Hinze}, title = {Certified, total serialisers with an application to Huffman encoding}, journal = {J. Funct. Program.}, volume = {33}, year = {2023}, url = {https://doi.org/10.1017/s095679682200017x}, doi = {10.1017/S095679682200017X}, timestamp = {Thu, 21 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jfp/Hinze23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/HinzeR22, author = {Ralf Hinze and Colin Runciman}, title = {Super-naturals}, journal = {J. Funct. Program.}, volume = {32}, pages = {e5}, year = {2022}, url = {https://doi.org/10.1017/S0956796822000028}, doi = {10.1017/S0956796822000028}, timestamp = {Sun, 15 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jfp/HinzeR22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mpc/HinzeS22, author = {Ralf Hinze and Wouter Swierstra}, editor = {Ekaterina Komendantskaya}, title = {Calculating Datastructures}, booktitle = {Mathematics of Program Construction - 14th International Conference, {MPC} 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13544}, pages = {62--101}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-16912-0\_3}, doi = {10.1007/978-3-031-16912-0\_3}, timestamp = {Mon, 24 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mpc/HinzeS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/ifip/BirdGHHJMMMSSW21, author = {Richard S. Bird and Jeremy Gibbons and Ralf Hinze and Peter H{\"{o}}fner and Johan Jeuring and Lambert G. L. T. Meertens and Bernhard M{\"{o}}ller and Carroll Morgan and Tom Schrijvers and Wouter Swierstra and Nicolas Wu}, editor = {Michael Goedicke and Erich J. Neuhold and Kai Rannenberg}, title = {Algorithmics}, booktitle = {Advancing Research in Information and Communication Technology - IFIP's Exciting First 60+ Years, Views from the Technical Committees and Working Groups}, series = {{IFIP} Advances in Information and Communication Technology}, volume = {600}, pages = {59--98}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-81701-5\_3}, doi = {10.1007/978-3-030-81701-5\_3}, timestamp = {Wed, 21 Dec 2022 15:22:06 +0100}, biburl = {https://dblp.org/rec/series/ifip/BirdGHHJMMMSSW21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mpc/Hinze19, author = {Ralf Hinze}, editor = {Graham Hutton}, title = {Self-certifying Railroad Diagrams - Or: How to Teach Nondeterministic Finite Automata}, booktitle = {Mathematics of Program Construction - 13th International Conference, {MPC} 2019, Porto, Portugal, October 7-9, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11825}, pages = {103--137}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-33636-3\_5}, doi = {10.1007/978-3-030-33636-3\_5}, timestamp = {Thu, 07 Nov 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mpc/Hinze19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/HinzeM18, author = {Ralf Hinze and Clare Martin}, title = {Batcher's odd-even merging network revealed}, journal = {J. Funct. Program.}, volume = {28}, pages = {e14}, year = {2018}, url = {https://doi.org/10.1017/S0956796818000163}, doi = {10.1017/S0956796818000163}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jfp/HinzeM18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/Hinze18, author = {Ralf Hinze}, title = {On constructing 2-3 trees}, journal = {J. Funct. Program.}, volume = {28}, pages = {e19}, year = {2018}, url = {https://doi.org/10.1017/S0956796818000187}, doi = {10.1017/S0956796818000187}, timestamp = {Tue, 16 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jfp/Hinze18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/HinzeM18a, author = {Ralf Hinze and Clare Martin}, title = {Parberry's pairwise sorting network revealed}, journal = {J. Funct. Program.}, volume = {28}, pages = {e21}, year = {2018}, url = {https://doi.org/10.1017/S0956796818000199}, doi = {10.1017/S0956796818000199}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jfp/HinzeM18a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/GibbonsHHW18, author = {Jeremy Gibbons and Fritz Henglein and Ralf Hinze and Nicolas Wu}, title = {Relational algebra by way of adjunctions}, journal = {Proc. {ACM} Program. Lang.}, volume = {2}, number = {{ICFP}}, pages = {86:1--86:28}, year = {2018}, url = {https://doi.org/10.1145/3236781}, doi = {10.1145/3236781}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pacmpl/GibbonsHHW18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jucs/HinzeM17, author = {Ralf Hinze and Clare Martin}, title = {A Logical Reconstruction of Batcher's Mergers \emph{Or: } Bitonicity is a Red Herring}, journal = {J. Univers. Comput. Sci.}, volume = {23}, number = {1}, pages = {21--41}, year = {2017}, url = {http://www.jucs.org/jucs\_23\_1/a\_logical\_reconstruction\_of}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jucs/HinzeM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/HinzeW16, author = {Ralf Hinze and Nicolas Wu}, title = {Unifying structured recursion schemes - An Extended Study}, journal = {J. Funct. Program.}, volume = {26}, pages = {e1}, year = {2016}, url = {https://doi.org/10.1017/S0956796815000258}, doi = {10.1017/S0956796815000258}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jfp/HinzeW16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/HinzeM16, author = {Ralf Hinze and Dan Marsden}, title = {Equational reasoning with lollipops, forks, cups, caps, snakes, and speedometers}, journal = {J. Log. Algebraic Methods Program.}, volume = {85}, number = {5}, pages = {931--951}, year = {2016}, url = {https://doi.org/10.1016/j.jlamp.2015.12.004}, doi = {10.1016/J.JLAMP.2015.12.004}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/HinzeM16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/HinzeM16, author = {Ralf Hinze and Dan Marsden}, editor = {Sam Lindley and Conor McBride and Philip W. Trinder and Donald Sannella}, title = {Dragging Proofs Out of Pictures}, booktitle = {A List of Successes That Can Change the World - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday}, series = {Lecture Notes in Computer Science}, volume = {9600}, pages = {152--168}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-30936-1\_8}, doi = {10.1007/978-3-319-30936-1\_8}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/birthday/HinzeM16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/HinzeWG15, author = {Ralf Hinze and Nicolas Wu and Jeremy Gibbons}, editor = {Sriram K. Rajamani and David Walker}, title = {Conjugate Hylomorphisms - Or: The Mother of All Structured Recursion Schemes}, booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} 2015, Mumbai, India, January 15-17, 2015}, pages = {527--538}, publisher = {{ACM}}, year = {2015}, url = {https://doi.org/10.1145/2676726.2676989}, doi = {10.1145/2676726.2676989}, timestamp = {Sat, 30 Sep 2023 09:54:52 +0200}, biburl = {https://dblp.org/rec/conf/popl/HinzeWG15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/mpc/2015, editor = {Ralf Hinze and Janis Voigtl{\"{a}}nder}, title = {Mathematics of Program Construction - 12th International Conference, {MPC} 2015, K{\"{o}}nigswinter, Germany, June 29 - July 1, 2015. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9129}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-19797-5}, doi = {10.1007/978-3-319-19797-5}, isbn = {978-3-319-19796-8}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mpc/2015.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/haskell/WuSH14, author = {Nicolas Wu and Tom Schrijvers and Ralf Hinze}, editor = {Wouter Swierstra}, title = {Effect handlers in scope}, booktitle = {Proceedings of the 2014 {ACM} {SIGPLAN} symposium on Haskell, Gothenburg, Sweden, September 4-5, 2014}, pages = {1--12}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2633357.2633358}, doi = {10.1145/2633357.2633358}, timestamp = {Thu, 24 Jun 2021 16:19:29 +0200}, biburl = {https://dblp.org/rec/conf/haskell/WuSH14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/Hinze13, author = {Ralf Hinze}, title = {Adjoint folds and unfolds - An extended study}, journal = {Sci. Comput. Program.}, volume = {78}, number = {11}, pages = {2108--2159}, year = {2013}, url = {https://doi.org/10.1016/j.scico.2012.07.011}, doi = {10.1016/J.SCICO.2012.07.011}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/Hinze13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/HengleinH13, author = {Fritz Henglein and Ralf Hinze}, editor = {Chung{-}chieh Shan}, title = {Sorting and Searching by Distribution: From Generic Discrimination to Generic Tries}, booktitle = {Programming Languages and Systems - 11th Asian Symposium, {APLAS} 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8301}, pages = {315--332}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-319-03542-0\_23}, doi = {10.1007/978-3-319-03542-0\_23}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/aplas/HengleinH13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/HinzeMW13, author = {Ralf Hinze and Jos{\'{e}} Pedro Magalh{\~{a}}es and Nicolas Wu}, editor = {Peter Achten and Pieter W. M. Koopman}, title = {A Duality of Sorts}, booktitle = {The Beauty of Functional Code - Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday}, series = {Lecture Notes in Computer Science}, volume = {8106}, pages = {151--167}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-40355-2\_11}, doi = {10.1007/978-3-642-40355-2\_11}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/birthday/HinzeMW13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/HinzeW13, author = {Ralf Hinze and Nicolas Wu}, editor = {Jacques Carette and Jeremiah Willcock}, title = {Histo- and dynamorphisms revisited}, booktitle = {Proceedings of the 9th {ACM} {SIGPLAN} workshop on Generic programming, {WGP} 2013, Boston, Massachusetts, USA, September 28, 2013}, pages = {1--12}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2502488.2502496}, doi = {10.1145/2502488.2502496}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icfp/HinzeW13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/HinzeWG13, author = {Ralf Hinze and Nicolas Wu and Jeremy Gibbons}, editor = {Greg Morrisett and Tarmo Uustalu}, title = {Unifying structured recursion schemes}, booktitle = {{ACM} {SIGPLAN} International Conference on Functional Programming, ICFP'13, Boston, MA, {USA} - September 25 - 27, 2013}, pages = {209--220}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2500365.2500578}, doi = {10.1145/2500365.2500578}, timestamp = {Thu, 24 Jun 2021 16:19:30 +0200}, biburl = {https://dblp.org/rec/conf/icfp/HinzeWG13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ifl/2012, editor = {Ralf Hinze}, title = {Implementation and Application of Functional Languages - 24th International Symposium, {IFL} 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {8241}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-41582-1}, doi = {10.1007/978-3-642-41582-1}, isbn = {978-3-642-41581-4}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifl/2012.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/HinzeJHWM12, author = {Ralf Hinze and Daniel W. H. James and Thomas Harper and Nicolas Wu and Jos{\'{e}} Pedro Magalh{\~{a}}es}, editor = {Andres L{\"{o}}h and Ronald Garcia}, title = {Sorting with bialgebras and distributive laws}, booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} workshop on Generic programming, WGP@ICFP 2012, Copenhagen, Denmark, September 9-15, 2012}, pages = {69--80}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2364394.2364405}, doi = {10.1145/2364394.2364405}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icfp/HinzeJHWM12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mpc/Hinze12, author = {Ralf Hinze}, editor = {Jeremy Gibbons and Pablo Nogueira}, title = {Kan Extensions for Program Optimisation Or: Art and Dan Explain an Old Trick}, booktitle = {Mathematics of Program Construction - 11th International Conference, {MPC} 2012, Madrid, Spain, June 25-27, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7342}, pages = {324--362}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-31113-0\_16}, doi = {10.1007/978-3-642-31113-0\_16}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/mpc/Hinze12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/Hinze11, author = {Ralf Hinze}, title = {Typed quote/antiquote or: Compile-time parsing}, journal = {J. Funct. Program.}, volume = {21}, number = {3}, pages = {219--234}, year = {2011}, url = {https://doi.org/10.1017/S0956796811000050}, doi = {10.1017/S0956796811000050}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jfp/Hinze11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/GibbonsH11, author = {Jeremy Gibbons and Ralf Hinze}, editor = {Manuel M. T. Chakravarty and Zhenjiang Hu and Olivier Danvy}, title = {Just do it: simple monadic equational reasoning}, booktitle = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21, 2011}, pages = {2--14}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/2034773.2034777}, doi = {10.1145/2034773.2034777}, timestamp = {Thu, 24 Jun 2021 16:19:30 +0200}, biburl = {https://dblp.org/rec/conf/icfp/GibbonsH11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/HinzeW11, author = {Ralf Hinze and Nicolas Wu}, editor = {Jaakko J{\"{a}}rvi and Shin{-}Cheng Mu}, title = {Towards a categorical foundation for generic programming}, booktitle = {Proceedings of the seventh {ACM} {SIGPLAN} workshop on Generic programming, WGP@ICFP 2011, Tokyo, Japan, September 19-21, 2011}, pages = {47--58}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/2036918.2036926}, doi = {10.1145/2036918.2036926}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icfp/HinzeW11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/HinzeJ11, author = {Ralf Hinze and Daniel W. H. James}, editor = {Manuel M. T. Chakravarty and Zhenjiang Hu and Olivier Danvy}, title = {Proving the unique fixed-point principle correct: an adventure with category theory}, booktitle = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21, 2011}, pages = {359--371}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/2034773.2034821}, doi = {10.1145/2034773.2034821}, timestamp = {Thu, 24 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icfp/HinzeJ11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/Hinze10, author = {Ralf Hinze}, title = {Special Issue on Generic Programming Editorial}, journal = {J. Funct. Program.}, volume = {20}, number = {3-4}, pages = {211--212}, year = {2010}, url = {https://doi.org/10.1017/S0956796810000286}, doi = {10.1017/S0956796810000286}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jfp/Hinze10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/Hinze08, author = {Ralf Hinze}, title = {Concrete stream calculus: An extended study}, journal = {J. Funct. Program.}, volume = {20}, number = {5-6}, pages = {463--535}, year = {2010}, url = {https://doi.org/10.1017/S0956796810000213}, doi = {10.1017/S0956796810000213}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jfp/Hinze08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amast/Hinze10, author = {Ralf Hinze}, editor = {Michael Johnson and Dusko Pavlovic}, title = {Type Fusion}, booktitle = {Algebraic Methodology and Software Technology - 13th International Conference, {AMAST} 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6486}, pages = {92--110}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-17796-5\_6}, doi = {10.1007/978-3-642-17796-5\_6}, timestamp = {Sun, 25 Oct 2020 23:16:25 +0100}, biburl = {https://dblp.org/rec/conf/amast/Hinze10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/HinzeJ10, author = {Ralf Hinze and Daniel W. H. James}, editor = {Bruno C. d. S. Oliveira and Marcin Zalewski}, title = {Reason isomorphically!}, booktitle = {Proceedings of the {ACM} {SIGPLAN} Workshop on Generic Programming, {WGP} 2010, Baltimore, MD, USA, September 27-29, 2010}, pages = {85--96}, publisher = {{ACM}}, year = {2010}, url = {https://doi.org/10.1145/1863495.1863507}, doi = {10.1145/1863495.1863507}, timestamp = {Tue, 06 Nov 2018 16:59:24 +0100}, biburl = {https://dblp.org/rec/conf/icfp/HinzeJ10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifl/HinzeHJ10, author = {Ralf Hinze and Thomas Harper and Daniel W. H. James}, editor = {Jurriaan Hage and Marco T. Moraz{\'{a}}n}, title = {Theory and Practice of Fusion}, booktitle = {Implementation and Application of Functional Languages - 22nd International Symposium, {IFL} 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6647}, pages = {19--37}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-24276-2\_2}, doi = {10.1007/978-3-642-24276-2\_2}, timestamp = {Tue, 14 May 2019 10:00:35 +0200}, biburl = {https://dblp.org/rec/conf/ifl/HinzeHJ10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mpc/Hinze10, author = {Ralf Hinze}, editor = {Claude Bolduc and Jos{\'{e}}e Desharnais and B{\'{e}}chir Ktari}, title = {Adjoint Folds and Unfolds}, booktitle = {Mathematics of Program Construction, 10th International Conference, {MPC} 2010, Qu{\'{e}}bec City, Canada, June 21-23, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6120}, pages = {195--228}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-13321-3\_13}, doi = {10.1007/978-3-642-13321-3\_13}, timestamp = {Sat, 16 Oct 2021 20:00:44 +0200}, biburl = {https://dblp.org/rec/conf/mpc/Hinze10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ssgip/Hinze10, author = {Ralf Hinze}, editor = {Jeremy Gibbons}, title = {Generic Programming with Adjunctions}, booktitle = {Generic and Indexed Programming - International Spring School, {SSGIP} 2010, Oxford, UK, March 22-26, 2010, Revised Lectures}, series = {Lecture Notes in Computer Science}, volume = {7470}, pages = {47--129}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-32202-0\_2}, doi = {10.1007/978-3-642-32202-0\_2}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/ssgip/Hinze10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/Hinze09, author = {Ralf Hinze}, title = {The Bird Tree}, journal = {J. Funct. Program.}, volume = {19}, number = {5}, pages = {491--508}, year = {2009}, url = {https://doi.org/10.1017/S0956796809990116}, doi = {10.1017/S0956796809990116}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jfp/Hinze09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/Hinze09a, author = {Ralf Hinze}, title = {Purely Functional 1-2 Brother Trees}, journal = {J. Funct. Program.}, volume = {19}, number = {6}, pages = {633--644}, year = {2009}, url = {https://doi.org/10.1017/S0956796809007333}, doi = {10.1017/S0956796809007333}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jfp/Hinze09a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/HinzeL09, author = {Ralf Hinze and Andres L{\"{o}}h}, title = {Generic programming in 3D}, journal = {Sci. Comput. Program.}, volume = {74}, number = {8}, pages = {590--628}, year = {2009}, url = {https://doi.org/10.1016/j.scico.2007.10.006}, doi = {10.1016/J.SCICO.2007.10.006}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/HinzeL09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cefp/Hinze09, author = {Ralf Hinze}, editor = {Zolt{\'{a}}n Horv{\'{a}}th and Rinus Plasmeijer and Vikt{\'{o}}ria Zs{\'{o}}k}, title = {Reasoning about Codata}, booktitle = {Central European Functional Programming School - Third Summer School, {CEFP} 2009, Budapest, Hungary, May 21-23, 2009 and Kom{\'{a}}rno, Slovakia, May 25-30, 2009, Revised Selected Lectures}, series = {Lecture Notes in Computer Science}, volume = {6299}, pages = {42--93}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-17685-2\_3}, doi = {10.1007/978-3-642-17685-2\_3}, timestamp = {Tue, 14 May 2019 10:00:42 +0200}, biburl = {https://dblp.org/rec/conf/cefp/Hinze09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/Hinze09, author = {Ralf Hinze}, editor = {Graham Hutton and Andrew P. Tolmach}, title = {Functional pearl: la tour d'Hano{\"{\i}}}, booktitle = {Proceeding of the 14th {ACM} {SIGPLAN} international conference on Functional programming, {ICFP} 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009}, pages = {3--10}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1596550.1596555}, doi = {10.1145/1596550.1596555}, timestamp = {Fri, 25 Jun 2021 14:48:54 +0200}, biburl = {https://dblp.org/rec/conf/icfp/Hinze09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sfp/JamesH09, author = {Daniel W. H. James and Ralf Hinze}, editor = {Zolt{\'{a}}n Horv{\'{a}}th and Vikt{\'{o}}ria Zs{\'{o}}k and Peter Achten and Pieter W. M. Koopman}, title = {A Reflection-based Proof Tactic for Lattices in Coq}, booktitle = {Proceedings of the Tenth Symposium on Trends in Functional Programming, {TFP} 2009, Kom{\'{a}}rno, Slovakia, June 2-4, 2009}, series = {Trends in Functional Programming}, volume = {10}, pages = {97--112}, publisher = {Intellect}, year = {2009}, timestamp = {Tue, 04 Jun 2013 08:01:28 +0200}, biburl = {https://dblp.org/rec/conf/sfp/JamesH09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/Hinze08, author = {Ralf Hinze}, editor = {James Hook and Peter Thiemann}, title = {Functional pearl: streams and unique fixed points}, booktitle = {Proceeding of the 13th {ACM} {SIGPLAN} international conference on Functional programming, {ICFP} 2008, Victoria, BC, Canada, September 20-28, 2008}, pages = {189--200}, publisher = {{ACM}}, year = {2008}, url = {https://doi.org/10.1145/1411204.1411232}, doi = {10.1145/1411204.1411232}, timestamp = {Fri, 25 Jun 2021 14:48:54 +0200}, biburl = {https://dblp.org/rec/conf/icfp/Hinze08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifl/Hinze08, author = {Ralf Hinze}, editor = {Sven{-}Bodo Scholz and Olaf Chitil}, title = {Scans and Convolutions - {A} Calculational Proof of Moessner's Theorem}, booktitle = {Implementation and Application of Functional Languages - 20th International Symposium, {IFL} 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5836}, pages = {1--24}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-642-24452-0\_1}, doi = {10.1007/978-3-642-24452-0\_1}, timestamp = {Tue, 14 May 2019 10:00:35 +0200}, biburl = {https://dblp.org/rec/conf/ifl/Hinze08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mpc/Hinze08, author = {Ralf Hinze}, editor = {Philippe Audebaud and Christine Paulin{-}Mohring}, title = {Exploiting Unique Fixed Points}, booktitle = {Mathematics of Program Construction, 9th International Conference, {MPC} 2008, Marseille, France, July 15-18, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5133}, pages = {1}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-70594-9\_1}, doi = {10.1007/978-3-540-70594-9\_1}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/mpc/Hinze08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/icfp/2008wgp, editor = {Ralf Hinze and Don Syme}, title = {Proceedings of the {ACM} {SIGPLAN} Workshop on Generic Programming, {WGP} 2008, Victoria, BC, Canada, September 20, 2008}, publisher = {{ACM}}, year = {2008}, url = {https://doi.org/10.1145/1411318}, doi = {10.1145/1411318}, isbn = {978-1-60558-060-9}, timestamp = {Tue, 15 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icfp/2008wgp.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/icfp/2007, editor = {Ralf Hinze and Norman Ramsey}, title = {Proceedings of the 12th {ACM} {SIGPLAN} International Conference on Functional Programming, {ICFP} 2007, Freiburg, Germany, October 1-3, 2007}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1291151}, doi = {10.1145/1291151}, isbn = {978-1-59593-815-2}, timestamp = {Fri, 25 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icfp/2007.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ssdgp/2006, editor = {Roland Carl Backhouse and Jeremy Gibbons and Ralf Hinze and Johan Jeuring}, title = {Datatype-Generic Programming - International Spring School, {SSDGP} 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures}, series = {Lecture Notes in Computer Science}, volume = {4719}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-76786-2}, doi = {10.1007/978-3-540-76786-2}, isbn = {978-3-540-76785-5}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ssdgp/2006.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/HinzeP06, author = {Ralf Hinze and Ross Paterson}, title = {Finger trees: a simple general-purpose data structure}, journal = {J. Funct. Program.}, volume = {16}, number = {2}, pages = {197--217}, year = {2006}, url = {https://doi.org/10.1017/S0956796805005769}, doi = {10.1017/S0956796805005769}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jfp/HinzeP06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/Hinze06, author = {Ralf Hinze}, title = {Generics for the masses}, journal = {J. Funct. Program.}, volume = {16}, number = {4-5}, pages = {451--483}, year = {2006}, url = {https://doi.org/10.1017/S0956796806006022}, doi = {10.1017/S0956796806006022}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jfp/Hinze06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/flops/HinzeLO06, author = {Ralf Hinze and Andres L{\"{o}}h and Bruno C. d. S. Oliveira}, editor = {Masami Hagiya and Philip Wadler}, title = {"Scrap Your Boilerplate" Reloaded}, booktitle = {Functional and Logic Programming, 8th International Symposium, {FLOPS} 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3945}, pages = {13--29}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11737414\_3}, doi = {10.1007/11737414\_3}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/flops/HinzeLO06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/flops/HinzeJL06, author = {Ralf Hinze and Johan Jeuring and Andres L{\"{o}}h}, editor = {Masami Hagiya and Philip Wadler}, title = {Typed Contracts for Functional Programming}, booktitle = {Functional and Logic Programming, 8th International Symposium, {FLOPS} 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3945}, pages = {208--225}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11737414\_15}, doi = {10.1007/11737414\_15}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/flops/HinzeJL06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mpc/HinzeL06, author = {Ralf Hinze and Andres L{\"{o}}h}, editor = {Tarmo Uustalu}, title = {"Scrap Your Boilerplate" Revolutions}, booktitle = {Mathematics of Program Construction, 8th International Conference, {MPC} 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4014}, pages = {180--208}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11783596\_13}, doi = {10.1007/11783596\_13}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mpc/HinzeL06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppdp/LohH06, author = {Andres L{\"{o}}h and Ralf Hinze}, editor = {Annalisa Bossi and Michael J. Maher}, title = {Open data types and open functions}, booktitle = {Proceedings of the 8th International {ACM} {SIGPLAN} Conference on Principles and Practice of Declarative Programming, July 10-12, 2006, Venice, Italy}, pages = {133--144}, publisher = {{ACM}}, year = {2006}, url = {https://doi.org/10.1145/1140335.1140352}, doi = {10.1145/1140335.1140352}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ppdp/LohH06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sfp/OliveiraHL06, author = {Bruno C. d. S. Oliveira and Ralf Hinze and Andres L{\"{o}}h}, editor = {Henrik Nilsson}, title = {Extensible and modular generics for the masses}, booktitle = {Revised Selected Papers from the Seventh Symposium on Trends in Functional Programming, {TFP} 2006, Nottingham, United Kingdom, 19-21 April 2006}, series = {Trends in Functional Programming}, volume = {7}, pages = {199--216}, publisher = {Intellect}, year = {2006}, timestamp = {Tue, 24 Aug 2010 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sfp/OliveiraHL06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ssdgp/HinzeJL06, author = {Ralf Hinze and Johan Jeuring and Andres L{\"{o}}h}, editor = {Roland Carl Backhouse and Jeremy Gibbons and Ralf Hinze and Johan Jeuring}, title = {Comparing Approaches to Generic Programming in Haskell}, booktitle = {Datatype-Generic Programming - International Spring School, {SSDGP} 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures}, series = {Lecture Notes in Computer Science}, volume = {4719}, pages = {72--149}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/978-3-540-76786-2\_2}, doi = {10.1007/978-3-540-76786-2\_2}, timestamp = {Tue, 14 May 2019 10:00:50 +0200}, biburl = {https://dblp.org/rec/conf/ssdgp/HinzeJL06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ssdgp/HinzeL06, author = {Ralf Hinze and Andres L{\"{o}}h}, editor = {Roland Carl Backhouse and Jeremy Gibbons and Ralf Hinze and Johan Jeuring}, title = {Generic Programming, Now!}, booktitle = {Datatype-Generic Programming - International Spring School, {SSDGP} 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures}, series = {Lecture Notes in Computer Science}, volume = {4719}, pages = {150--208}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/978-3-540-76786-2\_3}, doi = {10.1007/978-3-540-76786-2\_3}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ssdgp/HinzeL06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/icfp/2006wgp, editor = {Ralf Hinze}, title = {Proceedings of the {ACM} {SIGPLAN} Workshop on Generic Programming, {WGP} 2006, Portland, Oregon, USA, September 16, 2006}, publisher = {{ACM}}, year = {2006}, url = {https://doi.org/10.1145/1159861}, doi = {10.1145/1159861}, isbn = {1-59593-492-8}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icfp/2006wgp.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/Hinze05, author = {Ralf Hinze}, title = {Church numerals, twice!}, journal = {J. Funct. Program.}, volume = {15}, number = {1}, pages = {1--13}, year = {2005}, url = {https://doi.org/10.1017/S0956796804005313}, doi = {10.1017/S0956796804005313}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jfp/Hinze05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/Hinze04, author = {Ralf Hinze}, title = {Special issue on functional pearls Editorial}, journal = {J. Funct. Program.}, volume = {14}, number = {6}, pages = {601--601}, year = {2004}, url = {https://doi.org/10.1017/S0956796804005271}, doi = {10.1017/S0956796804005271}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jfp/Hinze04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/HinzeJL04, author = {Ralf Hinze and Johan Jeuring and Andres L{\"{o}}h}, title = {Type-indexed data types}, journal = {Sci. Comput. Program.}, volume = {51}, number = {1-2}, pages = {117--151}, year = {2004}, url = {https://doi.org/10.1016/j.scico.2003.07.001}, doi = {10.1016/J.SCICO.2003.07.001}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/HinzeJL04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/Hinze04, author = {Ralf Hinze}, editor = {Chris Okasaki and Kathleen Fisher}, title = {Generics for the masses}, booktitle = {Proceedings of the Ninth {ACM} {SIGPLAN} International Conference on Functional Programming, {ICFP} 2004, Snow Bird, UT, USA, September 19-21, 2004}, pages = {236--243}, publisher = {{ACM}}, year = {2004}, url = {https://doi.org/10.1145/1016850.1016882}, doi = {10.1145/1016850.1016882}, timestamp = {Fri, 25 Jun 2021 14:48:54 +0200}, biburl = {https://dblp.org/rec/conf/icfp/Hinze04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mpc/Hinze04, author = {Ralf Hinze}, editor = {Dexter Kozen and Carron Shankland}, title = {An Algebra of Scans}, booktitle = {Mathematics of Program Construction, 7th International Conference, {MPC} 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3125}, pages = {186--210}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-27764-4\_11}, doi = {10.1007/978-3-540-27764-4\_11}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/mpc/Hinze04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/Hinze03, author = {Ralf Hinze}, title = {Formatting: a class act}, journal = {J. Funct. Program.}, volume = {13}, number = {5}, pages = {935--944}, year = {2003}, url = {https://doi.org/10.1017/S0956796802004367}, doi = {10.1017/S0956796802004367}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jfp/Hinze03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ac/HinzeJ03, author = {Ralf Hinze and Johan Jeuring}, editor = {Roland Carl Backhouse and Jeremy Gibbons}, title = {Generic Haskell: Practice and Theory}, booktitle = {Generic Programming - Advanced Lectures}, series = {Lecture Notes in Computer Science}, volume = {2793}, pages = {1--56}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45191-4\_1}, doi = {10.1007/978-3-540-45191-4\_1}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/ac/HinzeJ03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ac/HinzeJ03a, author = {Ralf Hinze and Johan Jeuring}, editor = {Roland Carl Backhouse and Jeremy Gibbons}, title = {Generic Haskell: Applications}, booktitle = {Generic Programming - Advanced Lectures}, series = {Lecture Notes in Computer Science}, volume = {2793}, pages = {57--96}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45191-4\_2}, doi = {10.1007/978-3-540-45191-4\_2}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ac/HinzeJ03a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/haskell/BirdH03, author = {Richard S. Bird and Ralf Hinze}, editor = {Johan Jeuring}, title = {Functional Pearl trouble shared is trouble halved}, booktitle = {Proceedings of the {ACM} {SIGPLAN} Workshop on Haskell, Haskell 2003, Uppsala, Sweden, August 28, 2003}, pages = {1--6}, publisher = {{ACM}}, year = {2003}, url = {https://doi.org/10.1145/871895.871896}, doi = {10.1145/871895.871896}, timestamp = {Fri, 03 Jun 2022 10:47:45 +0200}, biburl = {https://dblp.org/rec/conf/haskell/BirdH03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/Hinze02, author = {Ralf Hinze}, title = {A fresh look at binary search trees}, journal = {J. Funct. Program.}, volume = {12}, number = {6}, pages = {601--607}, year = {2002}, url = {https://doi.org/10.1017/S0956796801004269}, doi = {10.1017/S0956796801004269}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jfp/Hinze02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/Hinze02, author = {Ralf Hinze}, title = {Polytypic values possess polykinded types}, journal = {Sci. Comput. Program.}, volume = {43}, number = {2-3}, pages = {129--159}, year = {2002}, url = {https://doi.org/10.1016/S0167-6423(02)00025-4}, doi = {10.1016/S0167-6423(02)00025-4}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/Hinze02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/haskell/CheneyH02, author = {James Cheney and Ralf Hinze}, editor = {Manuel M. T. Chakravarty}, title = {A lightweight implementation of generics and dynamics}, booktitle = {Proceedings of the 2002 {ACM} {SIGPLAN} Workshop on Haskell, Haskell 2002, Pittsburgh, Pennsylvania, USA, October 3, 2002}, pages = {90--104}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/581690.581698}, doi = {10.1145/581690.581698}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/haskell/CheneyH02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/Hinze02, author = {Ralf Hinze}, editor = {Mitchell Wand and Simon L. Peyton Jones}, title = {Bootstrapping one-sided flexible arrays}, booktitle = {Proceedings of the Seventh {ACM} {SIGPLAN} International Conference on Functional Programming {(ICFP} '02), Pittsburgh, Pennsylvania, USA, October 4-6, 2002}, pages = {2--13}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/581478.581480}, doi = {10.1145/581478.581480}, timestamp = {Wed, 07 Jul 2021 17:30:33 +0200}, biburl = {https://dblp.org/rec/conf/icfp/Hinze02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mpc/Hinze02, author = {Ralf Hinze}, editor = {Eerke A. Boiten and Bernhard M{\"{o}}ller}, title = {Constructing Tournament Representations: An Exercise in Pointwise Relational Programming}, booktitle = {Mathematics of Program Construction, 6th International Conference, {MPC} 2002, Dagstuhl Castle, Germany, July 8-10, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2386}, pages = {131--147}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45442-X\_9}, doi = {10.1007/3-540-45442-X\_9}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/mpc/Hinze02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mpc/HinzeJL02, author = {Ralf Hinze and Johan Jeuring and Andres L{\"{o}}h}, editor = {Eerke A. Boiten and Bernhard M{\"{o}}ller}, title = {Type-Indexed Data Types}, booktitle = {Mathematics of Program Construction, 6th International Conference, {MPC} 2002, Dagstuhl Castle, Germany, July 8-10, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2386}, pages = {148--174}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45442-X\_10}, doi = {10.1007/3-540-45442-X\_10}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mpc/HinzeJL02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijfcs/Hinze01, author = {Ralf Hinze}, title = {Prolog's Control Constructs in a Functional Setting - Axioms and Implementation}, journal = {Int. J. Found. Comput. Sci.}, volume = {12}, number = {2}, pages = {125--170}, year = {2001}, url = {https://doi.org/10.1142/S0129054101000436}, doi = {10.1142/S0129054101000436}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijfcs/Hinze01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jflp/Hinze01, author = {Ralf Hinze}, title = {Polytypic Programming With Ease}, journal = {J. Funct. Log. Program.}, volume = {2001}, number = {3}, year = {2001}, timestamp = {Wed, 01 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jflp/Hinze01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/Hinze01, author = {Ralf Hinze}, title = {Manufacturing datatypes}, journal = {J. Funct. Program.}, volume = {11}, number = {5}, pages = {493--524}, year = {2001}, url = {https://doi.org/10.1017/S095679680100404X}, doi = {10.1017/S095679680100404X}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jfp/Hinze01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/HinzeJ01, author = {Ralf Hinze and Johan Jeuring}, title = {Weaving a web}, journal = {J. Funct. Program.}, volume = {11}, number = {6}, pages = {681--689}, year = {2001}, url = {https://doi.org/10.1017/S0956796801004129}, doi = {10.1017/S0956796801004129}, timestamp = {Mon, 13 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jfp/HinzeJ01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/Hinze01, author = {Ralf Hinze}, editor = {Benjamin C. Pierce}, title = {A Simple Implementation Technique for Priority Search Queues}, booktitle = {Proceedings of the Sixth {ACM} {SIGPLAN} International Conference on Functional Programming {(ICFP} '01), Firenze (Florence), Italy, September 3-5, 2001}, pages = {110--121}, publisher = {{ACM}}, year = {2001}, url = {https://doi.org/10.1145/507635.507650}, doi = {10.1145/507635.507650}, timestamp = {Wed, 07 Jul 2021 17:30:33 +0200}, biburl = {https://dblp.org/rec/conf/icfp/Hinze01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/Hinze00, author = {Ralf Hinze}, title = {Perfect trees and bit-reversal permutations}, journal = {J. Funct. Program.}, volume = {10}, number = {3}, pages = {305--317}, year = {2000}, url = {https://doi.org/10.1017/s0956796800003701}, doi = {10.1017/S0956796800003701}, timestamp = {Fri, 10 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jfp/Hinze00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/Hinze00a, author = {Ralf Hinze}, title = {Generalizing generalized tries}, journal = {J. Funct. Program.}, volume = {10}, number = {4}, pages = {327--351}, year = {2000}, url = {https://doi.org/10.1017/s0956796800003713}, doi = {10.1017/S0956796800003713}, timestamp = {Fri, 10 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jfp/Hinze00a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/Hinze00, author = {Ralf Hinze}, editor = {Martin Odersky and Philip Wadler}, title = {Deriving backtracking monad transformers}, booktitle = {Proceedings of the Fifth {ACM} {SIGPLAN} International Conference on Functional Programming {(ICFP} '00), Montreal, Canada, September 18-21, 2000}, pages = {186--197}, publisher = {{ACM}}, year = {2000}, url = {https://doi.org/10.1145/351240.351258}, doi = {10.1145/351240.351258}, timestamp = {Thu, 08 Jul 2021 16:04:01 +0200}, biburl = {https://dblp.org/rec/conf/icfp/Hinze00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mpc/Hinze00, author = {Ralf Hinze}, editor = {Roland Carl Backhouse and Jos{\'{e}} Nuno Oliveira}, title = {Polytypic Values Possess Polykinded Types}, booktitle = {Mathematics of Program Construction, 5th International Conference, {MPC} 2000, Ponte de Lima, Portugal, July 3-5, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1837}, pages = {2--27}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/10722010\_2}, doi = {10.1007/10722010\_2}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/mpc/Hinze00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/Hinze00, author = {Ralf Hinze}, editor = {Mark N. Wegman and Thomas W. Reps}, title = {A New Approach to Generic Functional Programming}, booktitle = {{POPL} 2000, Proceedings of the 27th {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, Boston, Massachusetts, USA, January 19-21, 2000}, pages = {119--132}, publisher = {{ACM}}, year = {2000}, url = {https://doi.org/10.1145/325694.325709}, doi = {10.1145/325694.325709}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/popl/Hinze00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/HinzeJ00, author = {Ralf Hinze and Simon L. Peyton Jones}, editor = {Graham Hutton}, title = {Derivable Type Classes}, booktitle = {Proceedings of the 2000 {ACM} {SIGPLAN} Workshop on Haskell, Haskell 2000, Satellite Event of {PLI} 2000, Montreal, Canada, September 17, 2000}, series = {Electronic Notes in Theoretical Computer Science}, volume = {41}, number = {1}, pages = {5--35}, publisher = {Elsevier}, year = {2000}, url = {https://doi.org/10.1016/S1571-0661(05)80542-0}, doi = {10.1016/S1571-0661(05)80542-0}, timestamp = {Thu, 01 Dec 2022 09:58:30 +0100}, biburl = {https://dblp.org/rec/journals/entcs/HinzeJ00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dmtcs/Hinze99, author = {Ralf Hinze}, title = {Polytypic Functions Over Nested Datatypes}, journal = {Discret. Math. Theor. Comput. Sci.}, volume = {3}, number = {4}, pages = {193--214}, year = {1999}, url = {https://doi.org/10.46298/dmtcs.266}, doi = {10.46298/DMTCS.266}, timestamp = {Tue, 24 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/dmtcs/Hinze99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/Hinze99, author = {Ralf Hinze}, title = {Explaining Binomial Heaps}, journal = {J. Funct. Program.}, volume = {9}, number = {1}, pages = {93--104}, year = {1999}, url = {https://doi.org/10.1017/s0956796899003317}, doi = {10.1017/S0956796899003317}, timestamp = {Fri, 10 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jfp/Hinze99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/flops/Hinze99, author = {Ralf Hinze}, editor = {Aart Middeldorp and Taisuke Sato}, title = {Polytypic Programming With Ease (Extended Abstract)}, booktitle = {Functional and Logic Programming, 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1722}, pages = {21--36}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/10705424\_2}, doi = {10.1007/10705424\_2}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/flops/Hinze99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/flops/Hinze98, author = {Ralf Hinze}, editor = {Masahiko Sato and Yoshihito Toyama}, title = {Prological Features in a Functional Setting Axioms and Implementation}, booktitle = {Third Fuji International Symposium on Functional and Logic Programming, {FLOPS} 1998, Kyoto, Japan, Apil 2-4, 1998}, pages = {98--122}, publisher = {World Scientific, Singapore}, year = {1998}, timestamp = {Tue, 30 Jul 2019 10:47:11 +0200}, biburl = {https://dblp.org/rec/conf/flops/Hinze98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:conf/gi/Hinze96, author = {Ralf Hinze}, editor = {Wolfgang Bibel and Herbert Fiedler and Werner Grass and Peter Gorny and G{\"{u}}nter Hotz and Immo O. Kerner and R{\"{u}}diger Reischuk and Friedrich Roithmayr}, title = {Projektionsbasierte Striktheitsanalyse}, booktitle = {Ausgezeichnete Informatikdissertationen 1996}, pages = {46--61}, publisher = {Vieweg+Teubner Verlag}, year = {1996}, url = {https://doi.org/10.1007/978-3-322-91230-5\_3}, doi = {10.1007/978-3-322-91230-5\_3}, timestamp = {Mon, 17 Jan 2022 16:02:18 +0100}, biburl = {https://dblp.org/rec/conf/gi/Hinze96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@phdthesis{DBLP:books/daglib/0008628, author = {Ralf Hinze}, title = {Projection-based strictness analysis - theoretical and practical aspects}, school = {University of Bonn, Germany}, year = {1995}, url = {https://d-nb.info/946714290}, timestamp = {Sat, 17 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/daglib/0008628.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:books/vi/CremersGH94, author = {Armin B. Cremers and Ulrike Griefahn and Ralf Hinze}, title = {Deduktive Datenbanken: Eine Einf{\"{u}}hrung aus der Sicht der logischen Programmierung}, publisher = {Vieweg}, year = {1994}, isbn = {3-528-04700-3}, timestamp = {Mon, 28 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/books/vi/CremersGH94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:books/daglib/0068050, author = {Ralf Hinze}, title = {Einf{\"{u}}hrung in die funktionale Programmierung mit Miranda}, publisher = {Teubner}, year = {1992}, isbn = {978-3-519-02287-9}, timestamp = {Thu, 07 Apr 2011 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/daglib/0068050.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/vdi/92/CremersEH92, author = {Armin B. Cremers and Elmar Eder and Ralf Hinze}, editor = {Armin B. Cremers and Rolf Haberbeck and J{\"{u}}rgen Seetzen and Ipke Wachsmuth}, title = {Die Rolle der mathematischen Logik in der K{\"{u}}nstlichen Intelligenz}, booktitle = {K{\"{u}}nstliche Intelligenz - Leitvorstellungen und Verantwortbarkeit, Band 1: Diskussionsgrundlage}, series = {{VDI} Report}, volume = {17}, pages = {60--65}, publisher = {Verein Deutscher Ingenieure VDI, D{\"{u}}sseldorf}, year = {1992}, timestamp = {Tue, 28 Apr 2020 18:11:15 +0200}, biburl = {https://dblp.org/rec/books/vdi/92/CremersEH92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.