Ralf Hinze : Publications

Relational Algebra by Way of Adjunctions

Jeremy Gibbons‚ Fritz Henglein‚ Ralf Hinze and Nicolas Wu

In PACMPL. Vol. 2. No. ICFP. September, 2018.

Winner of a Distinguished Paper Award

Details about Relational Algebra by Way of Adjunctions | BibTeX data for Relational Algebra by Way of Adjunctions | DOI (10.1145/3236781) | Download (pdf) of Relational Algebra by Way of Adjunctions

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

Ralf Hinze‚ Nicolas Wu and Jeremy Gibbons

In POPL 2015. Pages 527−538. January, 2015.

Details about Conjugate Hylomorphisms‚ Or: The Mother of All Structured Recursion Schemes | BibTeX data for Conjugate Hylomorphisms‚ Or: The Mother of All Structured Recursion Schemes | DOI (10.1145/2676726.2676989) | Download (pdf) of Conjugate Hylomorphisms‚ Or: The Mother of All Structured Recursion Schemes

Effect Handlers in Scope

Nicolas Wu‚ Tom Schrijvers and Ralf Hinze

In Proceedings of the 2014 Haskell Symposium. New York‚ NY‚ USA. 2014. ACM.

Details about Effect Handlers in Scope | BibTeX data for Effect Handlers in Scope | Download (pdf) of Effect Handlers in Scope

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.

Details about Squiggoling with Bialgebras: Recursion Schemes from Comonads Revisited | BibTeX data for Squiggoling with Bialgebras: Recursion Schemes from Comonads Revisited

Adjoint folds and unfolds—An extended study

Ralf Hinze

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

Details about Adjoint folds and unfolds—An extended study | BibTeX data for Adjoint folds and unfolds—An extended study | DOI (10.1016/j.scico.2012.07.011)

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.

Details about Histo− and Dynamorphisms Revisited | BibTeX data for Histo− and Dynamorphisms Revisited | DOI (10.1145/2502488.2502496) | Link to Histo− and Dynamorphisms Revisited

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.

Details about Sorting and Searching by Distribution: From Generic Discrimination to Generic Tries | BibTeX data for Sorting and Searching by Distribution: From Generic Discrimination to Generic Tries | DOI (10.1007/978-3-319-03542-0_23) | Link to Sorting and Searching by Distribution: From Generic Discrimination to Generic Tries

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.

Details about Unifying Structured Recursion Schemes | BibTeX data for Unifying Structured Recursion Schemes | DOI (10.1145/2500365.2500578) | Download (pdf) of Unifying Structured Recursion Schemes

Implementation and Application of Functional Languages

Ralf Hinze, editor

Details about Implementation and Application of Functional Languages | BibTeX data for Implementation and Application of Functional Languages | DOI (10.1007/978-3-642-41582-1) | Link to Implementation and Application of Functional Languages

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.

Details about A Duality of Sorts | BibTeX data for A Duality of Sorts | DOI (10.1007/978-3-642-40355-2_11) | Link to A Duality of Sorts

Sorting with Bialgebras and Distributive Laws

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

May, 2012.

Accepted to WGP '12

Details about Sorting with Bialgebras and Distributive Laws | BibTeX data for Sorting with Bialgebras and Distributive Laws | Link to Sorting with Bialgebras and Distributive Laws

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.

Details about Kan Extensions for Program Optimisation—Or: Art and Dan Explain an Old Trick | BibTeX data for Kan Extensions for Program Optimisation—Or: Art and Dan Explain an Old Trick

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.

Details about Sorting with bialgebras and distributive laws | BibTeX data for Sorting with bialgebras and distributive laws | DOI (10.1145/2364394.2364405) | Link to Sorting with bialgebras and distributive laws

Functional Pearl: F for Functor

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

2012.

Details about Functional Pearl: F for Functor | BibTeX data for Functional Pearl: F for Functor | Link to Functional Pearl: F for Functor

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.

Details about Generic Programming with Adjunctions | BibTeX data for Generic Programming with Adjunctions | DOI (10.1007/978-3-642-32202-0_2)

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.

Details about Theory and Practice of Fusion | BibTeX data for Theory and Practice of Fusion | DOI (10.1007/978-3-642-24276-2_2) | Link to Theory and Practice of Fusion

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.

Details about Proving the unique fixed−point principle correct: an adventure with category theory | BibTeX data for Proving the unique fixed−point principle correct: an adventure with category theory | DOI (10.1145/2034773.2034821) | Link to Proving the unique fixed−point principle correct: an adventure with category theory

Typed Quote/Antiquote—Or: Compile−time Parsing

Ralf Hinze

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

Details about Typed Quote/Antiquote—Or: Compile−time Parsing | BibTeX data for Typed Quote/Antiquote—Or: Compile−time Parsing | DOI (10.1017/S0956796811000050)

Concrete Stream Calculus—An extended study

Ralf Hinze

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

Details about Concrete Stream Calculus—An extended study | BibTeX data for Concrete Stream Calculus—An extended study | DOI (10.1017/S0956796810000213)

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.

Details about Type Fusion | BibTeX data for Type Fusion | DOI (10.1007/978-3-642-17796-5\_6)

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.

Details about Scans and Convolutions—A Calculational Proof of Moessner's Theorem | BibTeX data for Scans and Convolutions—A Calculational Proof of Moessner's Theorem | DOI (10.1007/978-3-642-24452-0_1)

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.

Details about Just do it: simple monadic equational reasoning | BibTeX data for Just do it: simple monadic equational reasoning | DOI (10.1145/2034773.2034777) | Download (pdf) of Just do it: simple monadic equational reasoning

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.

Details about Towards a categorical foundation for generic programming | BibTeX data for Towards a categorical foundation for generic programming | DOI (10.1145/2036918.2036926) | Link to Towards a categorical foundation for generic programming

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.

Details about Proving The Unique Fixed−Point Principle Correct | BibTeX data for Proving The Unique Fixed−Point Principle Correct | Link to Proving The Unique Fixed−Point Principle Correct

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.

Details about Theory and Practice of Fusion | BibTeX data for Theory and Practice of Fusion | Link to Theory and Practice of Fusion

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.

Details about Reason isomorphically! | BibTeX data for Reason isomorphically! | DOI (10.1145/1863495.1863507)

Special Issue on Generic Programming Editorial

Ralf Hinze

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

Details about Special Issue on Generic Programming Editorial | BibTeX data for Special Issue on Generic Programming Editorial | DOI (10.1017/S0956796810000286)

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.

Details about A reflection−based proof tactic for lattices in Coq | BibTeX data for A reflection−based proof tactic for lattices in Coq | Link to A reflection−based proof tactic for lattices in Coq

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.

Details about Adjoint Folds and Unfolds‚ Or: Scything through the Thicket of Morphisms | BibTeX data for Adjoint Folds and Unfolds‚ Or: Scything through the Thicket of Morphisms | DOI (10.1007/978-3-642-13321-3\_13)

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

Details about Type Fusion | BibTeX data for Type Fusion

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.

Details about Reasoning about Codata | BibTeX data for Reasoning about Codata | DOI (10.1007/978-3-642-17685-2\_3)

Generic Programming in 3D

Ralf Hinze and Andres Löh

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

Details about Generic Programming in 3D | BibTeX data for Generic Programming in 3D | DOI (10.1016/j.scico.2007.10.006)

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/

Details about A Reflection−based Proof Tactic for Lattices in Coq | BibTeX data for A Reflection−based Proof Tactic for Lattices in Coq | Link to A Reflection−based Proof Tactic for Lattices in Coq

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/

Details about A reflection−based proof tactic for lattices in Coq | BibTeX data for A reflection−based proof tactic for lattices in Coq | Link to A reflection−based proof tactic for lattices in Coq

Functional Pearl: Purely Functional 1−2 Brother Trees

Ralf Hinze

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

Details about Functional Pearl: Purely Functional 1−2 Brother Trees | BibTeX data for Functional Pearl: Purely Functional 1−2 Brother Trees | DOI (10.1017/S0956796809007333)

Functional Pearl: The Bird Tree

Ralf Hinze

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

Details about Functional Pearl: The Bird Tree | BibTeX data for Functional Pearl: The Bird Tree | DOI (10.1017/S0956796809990116)

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.

Details about Functional pearl: la tour d'Hanoï | BibTeX data for Functional pearl: la tour d'Hanoï | DOI (10.1145/1596550.1596555)

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.

Details about Scans and Convolutions—A Calculational Proof of Moessner's Theorem | BibTeX data for Scans and Convolutions—A Calculational Proof of Moessner's Theorem

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.

Details about Functional pearl: streams and unique fixed points | BibTeX data for Functional pearl: streams and unique fixed points | DOI (10.1145/1411204.1411232)

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

Ralf Hinze and Don Syme, editors

Details about Proceedings of the ACM SIGPLAN workshop on Generic Programming (WGP '08) | BibTeX data for Proceedings of the ACM SIGPLAN workshop on Generic Programming (WGP '08)

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.

Details about Exploiting Unique Fixed Points (Invited Lecture) | BibTeX data for Exploiting Unique Fixed Points (Invited Lecture) | DOI (10.1007/978-3-540-70594-9\_1)

Generic Programming in 3D

Ralf Hinze and Andres Löh

In Science of Computer Programming. 2007.

to appear

Details about Generic Programming in 3D | BibTeX data for Generic Programming in 3D

Datatype−Generic Programming

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

Details about Datatype−Generic Programming | BibTeX data for Datatype−Generic Programming | DOI (10.1007/978-3-540-76786-2)

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.

Details about Generic Programming‚ Now! | BibTeX data for Generic Programming‚ Now! | DOI (10.1007/978-3-540-76786-2\_3)

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.

Details about Comparing Approaches to Generic Programming in Haskell | BibTeX data for Comparing Approaches to Generic Programming in Haskell | DOI (10.1007/978-3-540-76786-2\_2)

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

Ralf Hinze, editor

Details about Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming (WGP '06) | BibTeX data for Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming (WGP '06)

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.

Details about Open data types and open functions | BibTeX data for Open data types and open functions | DOI (10.1145/1140335.1140352)

“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.

Details about “Scrap Your Boilerplate” Revolutions | BibTeX data for “Scrap Your Boilerplate” Revolutions | DOI (10.1007/11783596\_13)

“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.

Details about “Scrap Your Boilerplate” Reloaded | BibTeX data for “Scrap Your Boilerplate” Reloaded | DOI (10.1007/11737414\_3)

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.

Details about Typed Contracts for Functional Programming | BibTeX data for Typed Contracts for Functional Programming | DOI (10.1007/11737414\_15)

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.

Details about Open data types and open functions | BibTeX data for Open data types and open functions

“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.

Details about “Scrap Your Boilerplate” Reloaded | BibTeX data for “Scrap Your Boilerplate” Reloaded

Generics for the masses

Ralf Hinze

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

Details about Generics for the masses | BibTeX data for Generics for the masses | DOI (10.1017/S0956796806006022)

Finger trees: a simple general−purpose data structure

Ralf Hinze and Ross Paterson

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

Details about Finger trees: a simple general−purpose data structure | BibTeX data for Finger trees: a simple general−purpose data structure | DOI (10.1017/S0956796805005769)

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.

Details about Generics as a Library | BibTeX data for Generics as a Library | Link to Generics as a Library

Theoretical Pearl: Church numerals‚ twice!

Ralf Hinze

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

Details about Theoretical Pearl: Church numerals‚ twice! | BibTeX data for Theoretical Pearl: Church numerals‚ twice! | DOI (10.1017/S0956796804005313)

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.

Details about Generics for the masses | BibTeX data for Generics for the masses | DOI (10.1145/1016850.1016882)

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.

Details about An Algebra of Scans | BibTeX data for An Algebra of Scans | DOI (10.1007/978-3-540-27764-4\_11)

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.

Details about Type−indexed data types | BibTeX data for Type−indexed data types | DOI (10.1016/j.scico.2003.07.001)

Special issue on functional pearls (Editorial)

Ralf Hinze

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

Details about Special issue on functional pearls (Editorial) | BibTeX data for Special issue on functional pearls (Editorial) | DOI (10.1017/S0956796804005271)

Typed Quote/Antiquote

Ralf Hinze

2004.

in preparation

Details about Typed Quote/Antiquote | BibTeX data for Typed Quote/Antiquote

Functional Pearl: Formatting: a class act

Ralf Hinze

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

Details about Functional Pearl: Formatting: a class act | BibTeX data for Functional Pearl: Formatting: a class act | DOI (10.1017/S0956796802004367)

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.

Details about Functional Pearl: Trouble shared is trouble halved | BibTeX data for Functional Pearl: Trouble shared is trouble halved | DOI (10.1145/871895.871896)

Generic Haskell: Practice and Theory

Ralf Hinze and Johan Jeuring

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

Details about Generic Haskell: Practice and Theory | BibTeX data for Generic Haskell: Practice and Theory

Generic Haskell: Applications

Ralf Hinze and Johan Jeuring

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

Details about Generic Haskell: Applications | BibTeX data for Generic Haskell: Applications

First−Class Phantom Types

James Cheney and Ralf Hinze

Cornell University. 2003.

Details about First−Class Phantom Types | BibTeX data for First−Class Phantom Types

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.

Details about Generic Haskell: Practice and Theory | BibTeX data for Generic Haskell: Practice and Theory | DOI (10.1007/978-3-540-45191-4\_1)

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.

Details about Generic Haskell: Applications | BibTeX data for Generic Haskell: Applications | DOI (10.1007/978-3-540-45191-4\_2)

Fun with phantom types

Ralf Hinze

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

Details about Fun with phantom types | BibTeX data for Fun with phantom types

Derivation of a Typed Functional LR Parser

Ralf Hinze and Ross Paterson

2003.

in preparation

Details about Derivation of a Typed Functional LR Parser | BibTeX data for Derivation of a Typed Functional LR Parser

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.

Details about Constructing Tournament Representations: An Exercise in Pointwise Relational Programming | BibTeX data for Constructing Tournament Representations: An Exercise in Pointwise Relational Programming | DOI (10.1007/3-540-45442-X\_9)

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.

Details about Type−indexed Data Types | BibTeX data for Type−indexed Data Types | DOI (10.1007/3-540-45442-X\_10)

Combining Generics and Dynamics

Peter Achten and Ralf Hinze

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

Details about Combining Generics and Dynamics | BibTeX data for Combining Generics and Dynamics

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.

Details about Constructing tournament representations: An exercise in pointwise relational programming | BibTeX data for Constructing tournament representations: An exercise in pointwise relational programming

Church numerals‚ twice!

Ralf Hinze

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

Details about Church numerals‚ twice! | BibTeX data for Church numerals‚ twice!

Functional Pearl: A fresh look at binary search trees

Ralf Hinze

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

Details about Functional Pearl: A fresh look at binary search trees | BibTeX data for Functional Pearl: A fresh look at binary search trees | DOI (10.1017/S0956796801004269)

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.

Details about Bootstrapping one−sided flexible arrays | BibTeX data for Bootstrapping one−sided flexible arrays | DOI (10.1145/581478.581480)

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.

Details about A lightweight implementation of generics and dynamics | BibTeX data for A lightweight implementation of generics and dynamics | DOI (10.1145/581690.581698)

Polytypic values possess polykinded types

Ralf Hinze

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

Details about Polytypic values possess polykinded types | BibTeX data for Polytypic values possess polykinded types | DOI (10.1016/S0167-6423(02)00025-4)

Type−indexed data types

Ralf Hinze‚ Johan Jeuring and Andres Löh

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

Details about Type−indexed data types | BibTeX data for Type−indexed data types

Manufacturing datatypes

Ralf Hinze

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

Details about Manufacturing datatypes | BibTeX data for Manufacturing datatypes | DOI (10.1017/S095679680100404X)

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.

Details about A simple implementation technique for priority search queues | BibTeX data for A simple implementation technique for priority search queues | DOI (10.1145/507635.507650)

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

Details about Proceedings of the 2001 ACM SIGPLAN Haskell Workshop | BibTeX data for Proceedings of the 2001 ACM SIGPLAN Haskell Workshop

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

Details about Derivable Type Classes | BibTeX data for Derivable Type Classes | DOI (10.1016/S1571-0661(05)80542-0)

Polytypic Programming With Ease

Ralf Hinze

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

Details about Polytypic Programming With Ease | BibTeX data for Polytypic Programming With Ease | Link to Polytypic Programming With Ease

A Simple Implementation Technique for Priority Search Queues

Ralf Hinze

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

Details about A Simple Implementation Technique for Priority Search Queues | BibTeX data for A Simple Implementation Technique for Priority Search Queues

Functional Pearl: Weaving a web

Ralf Hinze and Johan Jeuring

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

Details about Functional Pearl: Weaving a web | BibTeX data for Functional Pearl: Weaving a web | DOI (10.1017/S0956796801004129)

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.

Details about The Generic Haskell user's guide | BibTeX data for The Generic Haskell user's guide

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

Ralf Hinze

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

Details about Prolog's Control Constructs in a Functional Setting — Axioms and Implementation | BibTeX data for Prolog's Control Constructs in a Functional Setting — Axioms and Implementation | DOI (10.1142/S0129054101000436)

Functional Pearl: Weaving a Web

Ralf Hinze

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

Details about Functional Pearl: Weaving a Web | BibTeX data for Functional Pearl: Weaving a Web

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.

Details about Deriving backtracking monad transformers | BibTeX data for Deriving backtracking monad transformers | DOI (10.1145/351240.351258)

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

Details about Memo functions‚ polytypically! | BibTeX data for Memo functions‚ polytypically!

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.

Details about Polytypic Values Possess Polykinded Types | BibTeX data for Polytypic Values Possess Polykinded Types | DOI (10.1007/10722010\_2)

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

Details about Efficient Generalized Folds | BibTeX data for Efficient Generalized Folds

Functional Pearl: Perfect trees and bit−reversal permutations

Ralf Hinze

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

Details about Functional Pearl: Perfect trees and bit−reversal permutations | BibTeX data for Functional Pearl: Perfect trees and bit−reversal permutations | DOI (10.1017/S0956796800003701)

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.

Details about A new approach to generic functional programming | BibTeX data for A new approach to generic functional programming | DOI (10.1145/325694.325709)

Generalizing generalized tries

Ralf Hinze

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

Details about Generalizing generalized tries | BibTeX data for Generalizing generalized tries | DOI (10.1017/S0956796800003713)

Generic Programs and Proofs

Ralf Hinze

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

Details about Generic Programs and Proofs | BibTeX data for Generic Programs and Proofs

Polytypic Functions Over Nested Datatypes

Ralf Hinze

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

Details about Polytypic Functions Over Nested Datatypes | BibTeX data for Polytypic Functions Over Nested Datatypes | Link to Polytypic Functions Over Nested Datatypes

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

Ralf Hinze

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

Details about Book review: “Purely Functional Data Structures”‚ by Chris Okasaki | BibTeX data for Book review: “Purely Functional Data Structures”‚ by Chris Okasaki | DOI (doi: 10.1017/S0956796899009995)

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

Details about Manufacturing Datatypes | BibTeX data for Manufacturing Datatypes

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

Details about A Generic Programming Extension for Haskell | BibTeX data for A Generic Programming Extension for Haskell

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

Details about Constructing Red−Black Trees | BibTeX data for Constructing Red−Black Trees

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

Details about Straight to the Heart of Computer Science via Functional Programming | BibTeX data for Straight to the Heart of Computer Science via Functional Programming

A New Approach to Generic Functional Programming

Ralf Hinze

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

Details about A New Approach to Generic Functional Programming | BibTeX data for A New Approach to Generic Functional Programming

Efficient Generalized Folds

Ralf Hinze

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

Details about Efficient Generalized Folds | BibTeX data for Efficient Generalized Folds

Constructing Red−Black Trees

Ralf Hinze

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

Details about Constructing Red−Black Trees | BibTeX data for Constructing Red−Black Trees

Manufacturing Datatypes

Ralf Hinze

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

Details about Manufacturing Datatypes | BibTeX data for Manufacturing Datatypes

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.

Details about Polytypic Functions Over Nested Datatypes (Extended Abstract) | BibTeX data for Polytypic Functions Over Nested Datatypes (Extended Abstract) | Link to Polytypic Functions Over Nested Datatypes (Extended Abstract)

Perfect Trees and Bit−reversal Permutations

Ralf Hinze

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

Details about Perfect Trees and Bit−reversal Permutations | BibTeX data for Perfect Trees and Bit−reversal Permutations

Polytypic Programming With Ease

Ralf Hinze

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

Details about Polytypic Programming With Ease | BibTeX data for Polytypic Programming With Ease

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.

Details about Standard Libraries for the Haskell 98 Programming Language | BibTeX data for Standard Libraries for the Haskell 98 Programming Language

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.

Details about Standard Libraries for the Haskell 98 Programming Language | BibTeX data for Standard Libraries for the Haskell 98 Programming Language

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.

Details about Haskell 98 — A Non−strict‚ Purely Functional Language | BibTeX data for Haskell 98 — A Non−strict‚ Purely Functional Language

Polytypic values possess polykinded types

Ralf Hinze

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

Details about Polytypic values possess polykinded types | BibTeX data for Polytypic values possess polykinded types

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.

Details about Polytypic Programming With Ease (Extended Abstract) | BibTeX data for Polytypic Programming With Ease (Extended Abstract) | DOI (10.1007/10705424\_2)

Functional Pearl: Explaining binomial heaps

Ralf Hinze

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

Details about Functional Pearl: Explaining binomial heaps | BibTeX data for Functional Pearl: Explaining binomial heaps | DOI (10.1017/S0956796899003317)

Deriving monad transformers

Ralf Hinze

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

Details about Deriving monad transformers | BibTeX data for Deriving monad transformers

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.

Details about Prological Features in a Functional Setting — Axioms and Implementations | BibTeX data for Prological Features in a Functional Setting — Axioms and Implementations

Numerical Representations as Higher−Order Nested Datatypes

Ralf Hinze

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

Details about Numerical Representations as Higher−Order Nested Datatypes | BibTeX data for Numerical Representations as Higher−Order Nested Datatypes

Generalizing Generalized Tries

Ralf Hinze

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

Details about Generalizing Generalized Tries | BibTeX data for Generalizing Generalized Tries

Polytypic Functions Over Nested Datatypes

Ralf Hinze

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

Details about Polytypic Functions Over Nested Datatypes | BibTeX data for Polytypic Functions Over Nested Datatypes

Projektionsbasierte Striktheitsanalyse

Ralf Hinze

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

Details about Projektionsbasierte Striktheitsanalyse | BibTeX data for Projektionsbasierte Striktheitsanalyse

Efficient Monadic−style Backtracking

Ralf Hinze

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

Details about Efficient Monadic−style Backtracking | BibTeX data for Efficient Monadic−style Backtracking

Projection−based Strictness Analysis — Theoretical and Practical Aspects

Ralf Hinze

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

Details about Projection−based Strictness Analysis — Theoretical and Practical Aspects | BibTeX data for Projection−based Strictness Analysis — Theoretical and Practical Aspects

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

Armin B. Cremers‚ Ulrike Griefahn and Ralf Hinze

Vieweg, Braunschweig/Wiesbaden. 1994.

Details about Deduktive Datenbanken — Eine Einführung aus der Sicht der logischen Programmierung | BibTeX data for Deduktive Datenbanken — Eine Einführung aus der Sicht der logischen Programmierung

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.

Details about Die Rolle der mathematischen Logik in der Künstlichen Intelligenz | BibTeX data for Die Rolle der mathematischen Logik in der Künstlichen Intelligenz

The Categorical Abstract Machine: Basics and Enhancments

Ralf Hinze

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

Details about The Categorical Abstract Machine: Basics and Enhancments | BibTeX data for The Categorical Abstract Machine: Basics and Enhancments

Einführung in die funktionale Programmierung mit Miranda

Ralf Hinze

B.G. Teubner, Stuttgart. 1992.

Details about Einführung in die funktionale Programmierung mit Miranda | BibTeX data for Einführung in die funktionale Programmierung mit Miranda

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

R. Hinze

1992.

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

Details about Einführung in die funktionale Programmierung − Sprachen‚ Spezifikationen‚ Grundlagen‚ Implementierung | BibTeX data for Einführung in die funktionale Programmierung − Sprachen‚ Spezifikationen‚ Grundlagen‚ Implementierung

Typsysteme und Typinferenzsysteme

Ralf Hinze

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

Details about Typsysteme und Typinferenzsysteme | BibTeX data for Typsysteme und Typinferenzsysteme