List of Publications

2010

• Alex Gerdes, Johan Jeuring and Bastiaan Heeren. Using Strategies for Assessment of Programming Exercises. To appear in proceedings SIGCSE, 2010. Also available as Technical report Utrecht University UU-CS-2009-???, 2009.
• José Pedro Magalhães, Stefan Holdermans, Johan Jeuring. and Andres Löh. Optimizing generics is easy! To appear in proceedings PEPM, 2010. Also available as Technical report Utrecht University UU-CS-2009-022, 2009.

2009

• Sean Leather, Andres Löh, and Johan Jeuring. Pull-Ups, Push-Downs, and Passing It Around - Exercises in Functional Incrementalization. Technical report Utrecht University UU-CS-2009-024, 2009.
• Alexey Rodriguez and Johan Jeuring. Enumerating Well-Typed Terms Generically. In Proceedings workshop on Approaches and Applications of Inductive Programming 2009. Also available as Technical report Utrecht University UU-CS-2009-017, 2009.
• Alexey Rodriguez, Stefan Holdermans, Andres Löh, and Johan Jeuring. Generic programming with fixed points for mutually recursive datatypes. In Proceedings International Conference on Functional Programming, ICFP 2009.
• Johan Jeuring, José Pedro Magalhães and Bastiaan Heeren. Generic Programming for Domain Reasoners. To appear in Proceedings Trends in Functional Programming 2009. An earlier version appeared as Technical report Utrecht University UU-CS-2009-016, 2009.
• Johan Jeuring, Sean Leather, José Pedro Magalhães and Alexey Rodriguez. Libraries for Generic programming in Haskell. In Pieter Koopman, Rinus Plasmeijer, and Doaitse Swierstra, editors, Proceedings of the Sixth Advanced Functional Programming School, AFP'08, May 19-24 2008, Center Parcs "Het Heijderbos", The Netherlands, LNCS 5832, pages 165 - 229, 2009, © Springer-Verlag. An earlier version appeared as Technical report Utrecht University UU-CS-2008-025, 2008.
• Bastiaan Heeren and Johan Jeuring. Canonical Forms in Interactive Exercise Assistants. In Jacques Carette, Lucas Dixon, Claudio Sacerdoti Coen, and Stephen M. Watt, editors, Proceedings Calculemus/Mathematical Knowledge Management 2009, LNAI 5625, pages 325 - 340, 2009, © Springer-Verlag. Also available as Technical report Utrecht University UU-CS-2009-011, 2009.
• Alex Gerdes, Bastiaan Heeren and Johan Jeuring. Constructing Strategies for Programming. In José Cordeiro, Boris Shishkov, Alexander Verbraeck and Markus Helfert, editors, Proceedings 1st International Conference on Computer Supported Education, Volume 1, 65 - 72, CSEDU'09, 2009. Also available as Technical report Utrecht University UU-CS-2008-049, 2008.
• Bastiaan Heeren, Johan Jeuring, and Alex Gerdes. Specifying rewrite strategies for interactive exercises. To appear in Mathematics in Computer Science.
• Bastiaan Heeren, Johan Jeuring, and Alex Gerdes. Strategies for exercises. Technical report Utrecht University UU-CS-2009-003, 2009. This report is superceded by the Mathematics in Computer Science paper (see 2009).
• Johan Jeuring and Lambert Meertens. Geniaal programmeren - Generic programming at Utrecht. In Hans Bodlaender et al, editors, Fascination for computation, 25 jaar opleiding informatica, pages 75 - 88, 2009. Also available as Technical report Utrecht University UU-CS-2009-001, 2009.

2008

• Hans Cuypers, Gemma Corbalan, Bastiaan Heeren, Erik Jansen, Johan Jeuring, Jan Willem Knopper, Josje Lodder, Rick van der Meiden, and Wouter Pasman. Intelligente feedback in e-learning (in Dutch). TINFON, 4, pages 80 - 86, 2008.
• Alexey Rodriguez, Stefan Holdermans, Andres Löh, and Johan Jeuring. Generic programming with fixed points for mutually recursive datatypes. Technical report Utrecht University UU-CS-2008-019, 2008. This report is superceded by the ICFP paper (see 2009).
• Thomas van Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, and Bastiaan Heeren. A Lightweight Approach to Datatype-Generic Rewriting. In Ralf Hinze, editor, Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP'08. Also available as Technical report Utrecht University UU-CS-2008-020, 2008.
• Alex Gerdes, Bastiaan Heeren, Johan Jeuring, and Sylvia Stuurman. Feedback Services for Exercise Assistants. Proceedings of the 7th European Conference on e-Learning, Agia Napa, Cyprus, 2008. Also available as Technical report Utrecht University UU-CS-2008-018, 2008.
• Eelco Dolstra, Jur Hage, Bastiaan Heeren, Stefan Holdermans, Johan Jeuring, Andres Löh, Arie Middelkoop, Alexey Rodriguez, John van Schie, Clara Löh. Report on the Tenth ICFP Programming Contest. In Peter Thiemann, editor, Proceedings International Conference on Functional Programming, ICFP'08, 2008.
• Bastiaan Heeren, Johan Jeuring. Recognizing strategies. In Aart Middeldorp, editor, Proceedings WRS 2008, Reduction Strategies in Rewriting and Programming, 8th International Workshop. Electronic Notes in Theoretical Computer Science, Volume 237, pages 91-106, April 2009. Also available as Technical report Utrecht University UU-CS-2008-012, 2008.
• Andres Löh, Johan Jeuring, Thomas van Noort, Alexey Rodriguez, Dave Clarke, Ralf Hinze, Jan de Wit. The Generic Haskell user's guide, Version 1.80 - Emerald release. Technical report Utrecht University UU-CS-2008-011, 2008.
• Alexey Rodriguez Yakushev, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliviera. Comparing Libraries for Generic Programming in Haskell. In Andy Gill, editor, Proceedings of the ACM SIGPLAN Haskell Symposium. An extended version is available as Technical report Utrecht University UU-CS-2008-010, 2008.
• Bastiaan Heeren, Johan Jeuring, Arthur van Leeuwen, and Alex Gerdes. Specifying strategies for exercises. In Serge Autexier, John Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, Freek Wiedijk, editors, AISC/Calculemus/MKM 2008, LNAI 5144, pages 430 - 445, 2007, © Springer-Verlag. 2008. An extended version is available as Technical report Utrecht University UU-CS-2008-001, 2008.

2007

• Johan Jeuring. Feedback in exercise assistants. In the book of abstracts of Online Educa Berlin, 13th International Conference on Technology Supported Learning & Training, 2007. Also available as Technical report Utrecht University UU-CS-2007-036, 2007.
• Eelco Dolstra, Jur Hage, Bastiaan Heeren, Stefan Holdermans, Johan Jeuring, Andres Löh, Arie Middelkoop, Alexey Rodriguez, John van Schie, Clara Löh. Morph Endo! Report on the Tenth Interstellar Contest on Fuun Programming. Technical report Utrecht University UU-CS-2007-029, 2007. This report is superceded by the report that appeared in the ICFP proceedings (see 2008).
• Eelco Dolstra, Jur Hage, Bastiaan Heeren, Stefan Holdermans, Johan Jeuring, Andres Löh, Arie Middelkoop, Alexey Rodriguez, John van Schie, Clara Löh. Morph Endo! Task Description of the Tenth Interstellar Contest on Fuun Programming. Technical report Utrecht University UU-CS-2007-027, 2007.
• Johan Jeuring, Harrie Passier, Sylvia Stuurman. A Generic Framework for Developing Exercise Assistants. In Proceedings of the 8th International Conference on Information Technology Based Higher Education and Training, ITHET 2007, Kumamoto City, Japan, July 2007. Also available as Technical report Utrecht University UU-CS-2007-017, 2007.
• Roland Backhouse, Jeremy Gibbons, Ralf Hinze, and Johan Jeuring, editors, Lecture notes of the Spring School on Datatype-Generic Programming 2006, LNCS 4719, 2007, © Springer-Verlag.
• Ralf Hinze, Johan Jeuring, and Andres Löh. Comparing approaches to generic programming in Haskell. In Roland Backhouse, Jeremy Gibbons, Ralf Hinze, and Johan Jeuring, editors, Lecture notes of the Spring School on Datatype-Generic Programming 2006, LNCS 4719, pages 72 - 149, 2007, © Springer-Verlag.
• Sylvia Stuurman and Johan Jeuring Turning an interactive tool implemented in Haskell into a web application -- An experience report. Technical report Utrecht University UU-CS-2007-008, 2007. (Latest version)
• Johan Jeuring and Wouter Pasman. Strategy Feedback in an E-learning Tool for Mathematical Exercises. In Volker Dötsch, Klaus Hering, and Florian Schaar, editors, Proceedings 5th Workshop on e-Learning, HTWK Leipzig, Germany, pages 7 - 26, October 2007. Also available as Technical report Utrecht University UU-CS-2007-007, 2007. Corresponding code.
• Frank Atanassow and Johan Jeuring. Customizing an XML-Haskell data binding with type isomorphism inference in Generic Haskell. Science of Computer Programming 65(2), pages 72-107, 2007.
• Patrik Jansson, Johan Jeuring, and students of the Utrecht University Generic Programming class. Testing properties of generic functions. In Zoltán Horváth, Viktória Zsók, and Andrew Butterfield, editors, Implementation and Application of Functional Languages, 18th International Symposium, IFL 2006, Revised Selected Papers, LNCS 4449, pages 217 - 234, 2007, © Springer-Verlag.

2006

• Andres Löh, Johan Jeuring, and Alexey Rodriguez (editors), et al. The Generic Haskell user's guide, Version 1.60 - Diamond release. Technical report Utrecht University UU-CS-2006-049, 2006.
• Patrik Jansson, Johan Jeuring, and students of the Utrecht University Generic Programming class. Testing properties of generic functions. Technical report Utrecht University UU-CS-2006-043, 2006. This paper is superceded by the IFL paper with the same title (see 2007).
• Johan Jeuring, Alexey Rodriguez, and Gideon Smeding. Generating generic functions. In Ralf Hinze, editor, Proceedings of the ACM Sigplan Workshop on Generic Programming, Portland, September 16, pages 23 - 32, 2006. Also available as Technical report Utrecht University UU-CS-2006-039, 2006.
• Josje Lodder, Johan Jeuring, and Harrie Passier. An interactive tool for manipulating logical formulae. In M. Manzano, B. Pérez Lancho and A. Gil, editors, proceedings of the Second International Congress on Tools for Teaching Logic, Salamanca, Spain, September 26 - 30, 2006. Also available as Technical report Utrecht University UU-CS-2006-040, 2006.
• Ralf Hinze, Johan Jeuring, and Andres Löh. Comparing approaches to generic programming in Haskell. Technical report Utrecht University UU-CS-2006-022, 2006. This paper is superceded by the summer school paper with the same title (see 2007).
• Stefan Holdermans, Johan Jeuring, Andres Löh, and Alexey Rodriguez. Generic views on data types. In Tarmo Uustalu, editor, Proceedings 8th International Conference on Mathematics of Program Construction, MPC 2006, LNCS 4014, pages 209 - 234, 2006, © Springer-Verlag. An extended version of this paper is available as Technical report Utrecht University UU-CS-2006-020, 2006.
• Johan Jeuring and Rinus Plasmeijer. Generic Programming for Software Evolution. In the Informal proceedings of the ERCIM workshop on Software Evolution, 2006. Also available as Technical report Utrecht University UU-CS-2006-024, 2006.
• Ralf Hinze, Johan Jeuring, and Andres Löh. Typed Contracts for Functional Programming. In Philip Wadler and Masimi Hagiya, editors, Proceedings of the 8th International Symposium on Functional and Logic Programming, FLOPS 2006, LNCS 3945, pages 208 - 225, 2006, © Springer-Verlag. Also available as Technical report Utrecht University UU-CS-2006-026, 2006.
• Frank Atanassow and Johan Jeuring. Customizing an XML-Haskell data binding with type isomorphism inference in Generic Haskell. Technical report Utrecht University UU-CS-2006-025, 2006. This paper is superceded by the SCP paper on Customizing an XML-Haskell data-binding (see 2007).
• Harrie Passier and Johan Jeuring. Feedback in an interactive equation solver. In Mika Seppälä, Sebastian Xambo, Olga Caprotti, editors, Proceedings of the Web Advanced Learning Conference and Exhibition, WebALT 2006, pages 53 - 68, 2006, Oy WebALT Inc. An extended version of this paper is available as Technical report Utrecht University UU-CS-2006-021, 2006.

2005

• Alexey Rodriguez, Johan Jeuring, and Andres Löh. Type Inference for Generic Haskell. Technical report Utrecht University UU-CS-2005-060, 2005.
• Frank Atanassow and Johan Jeuring. Inferring Type Isomorphisms Generically - With an application to an XML Schema-Haskell data binding. Technical report Utrecht University UU-CS-2005-008, 2005. This paper is superceded by the SCP paper on Customizing an XML-Haskell data-binding (see 2007).
• Stefan Holdermans, Johan Jeuring, and Andres Löh. Generic views on data types. Technical report Utrecht University UU-CS-2005-012, 2005. This paper is superceded by the MPC paper and the corresponding revised report (see 2006).
• Harrie Passier and Johan Jeuring. Using Schema Analysis for Feedback in Authoring Tools for Learning Environments. Short version in Proceedings of the 12th International Conference on Artificial Intelligence in Education, AIED 2005, 2005. Extended version in Alexandra Cristea, Rosa Carro, and Franca Garzotto, editors, Proceedings of the Third International Workshop on Authoring of Adaptive and Adaptable Educational Hypermedia, A3EH 2005, pages 13 - 20, 2005.
• Andres Löh and Johan Jeuring (editors), et al. The Generic Haskell user's guide, Version 1.42 - Coral release. Technical report Utrecht University UU-CS-2005-004, 2005.
• Rui Guerra, Johan Jeuring, and Doaitse Swierstra. Generic validation in an XPath-Haskell data binding. In Proceedings Plan-X, 2005.

2004

• Harrie Passier and Johan Jeuring. Ontology based feedback generation in design-oriented e-Learning systems. In P. Isaias, P. Kommers and Maggie McPherson (editors), Proceedings of the IADIS International conference, e-Society 2004, Avila, Spain, 16 - 19 July 2004, Volume II, pages 992 - 996.
• Frank Atanassow and Johan Jeuring. Inferring Type Isomorphisms Generically. In Dexter Kozen, editor, Proceedings of the 7th International Conference on Mathematics of Program Construction, MPC 2004, LNCS 3125, pages 32 - 53, 2004, © Springer-Verlag.
• Frank Atanassow, Dave Clarke, and Johan Jeuring. UUXML: A Type-Preserving XML Schema-Haskell Data Binding. In Bharat Jayaraman, editor, Proceedings 6th International Symposium on Practical Aspects of Declarative Languages, PADL 2004, LNCS 3057, pages 71 - 85, 2004, © Springer-Verlag.
• Ralf Hinze, Johan Jeuring and Andres Löh. Type-indexed data types. Science of Computer Programming 51(1-2), pages 117-151, 2004.

2003

• Johan Jeuring, editor. Proceedings of the 2003 ACM SIGPLAN Haskell Workshop, ACM Press, 2003. (Web page for the workshop.)
Johan Jeuring and Simon Peyton Jones, editors. Advanced Functional Programming, LNCS 2638, Springer-Verlag, 2003. (Web page for the school.)
• Jeremy Gibbons and Johan Jeuring, editors. Generic Programming. Proceedings of the IFIP TC2 Working Conference on Generic Programming, Schloss Dagstuhl, July 2002. ISBN 1-4020-7374-7. Kluwer Academic Publishers, 2003. Preface and table of contents. (Web page for the conference.)
• Johan Jeuring, Het ontwikkelen van XML-tools (The development of XML tools, in Dutch). IT Monitor, Nr 8, pages 4 - 7, September 2003.
• Andres Löh, Dave Clarke and Johan Jeuring. Dependency-style Generic Haskell. In Olin Shivers, editor, Proceedings International Conference on Functional Programming, ICFP'03, pages 141 - 152, 2003. An extended version of this paper appears as Technical report ICS Utrecht University, UU-CS-2003-022.
• Frank Atanassow, Dave Clarke, and Johan Jeuring. Scripting XML with Generic Haskell. In Proceedings of the 7th Brazilian Symposium on Programming Languages, SBLP 2003, 2003. An extended version of this paper appears as Technical report ICS Utrecht University, UU-CS-2003-023.
• Ralf Hinze and Johan Jeuring. Generic Haskell: Applications. In Roland Backhouse and Jeremy Gibbons, editors, Generic Programming, LNCS 2793 © Springer-Verlag, pages 57 - 97, 2003. Technical report ICS Utrecht University, UU-CS-2003-016. (Lecture 1, Lecture 2, Lecture 3.)
• Ralf Hinze and Johan Jeuring. Generic Haskell: Practice and Theory. In Roland Backhouse and Jeremy Gibbons, editors, Generic Programming, LNCS 2793 © Springer-Verlag, pages 1 - 56, 2003. Technical report ICS Utrecht University, UU-CS-2003-015.

2002

• Ralf Hinze, Johan Jeuring and Andres Löh. Type-indexed data types. In Eerke A. Boiten and Bernhard Möller, editors, Proceedings of the 6th International Conference on Mathematics of Program Construction, MPC 2002, LNCS 2386, pages 148 - 174, 2002, © Springer-Verlag. Technical report ICS Utrecht University, UU-CS-2002-011.
• Patrik Jansson and Johan Jeuring. Polytypic data conversion programs. Science of Computer Programming 43(1), pages 35 - 75, 2002. Technical report ICS Utrecht University, UU-CS-2001-34.
• Dave Clarke, Johan Jeuring, and Andres Löh. The Generic Haskell user's guide. Technical report Utrecht University UU-CS-2002-047, 2002. pdf.
• Martijn M. Schrage, Johan Jeuring, Doaitse S. Swierstra. Combinators for layered software architectures. Technical report ICS Utrecht University, UU-CS-2002-030, 2002.
• Johan Jeuring and Paul Hagg. Generic Programming for XML Tools. Technical report ICS Utrecht University, UU-CS-2002-023, 2002. Corresponding code.
• Bastiaan Heeren, Johan Jeuring, Doaitse Swierstra, Pablo Azero Alcocer. Improving type-error messages in functional languages. Technical report Utrecht University UU-CS-2002-009, 2002.

2001

• Dave Clarke, Ralf Hinze, Johan Jeuring, Andres Löh, and Jan de Wit. The Generic Haskell user's guide. Technical report Utrecht University UU-CS-2001-26, 2001. pdf, ps.
• Johan Jeuring, and S.Doaitse Swierstra. Grammars and Parsing. (dvi, ps, pdf) Lecture Notes, Utrecht University, The Netherlands, 2001. (See http://www.cs.uu.nl/docs/vakken/gont/ for the course in which we use these lecture notes.)
• Ralf Hinze and Johan Jeuring. Weaving a Web. Journal of Functional Programming 11(6), pages 681 - 689, 2001. Technical report ICS Utrecht University, UU-CS-2001-33.
• Jan-Willem Roorda, Johan Jeuring. Pure Type Systems for Functional Programming. Unpublished report, 2001.
• Martijn Schrage and Johan Jeuring. Xprez, a declarative presentation language for XML (4.5MB). Unpublished manuscript, 2001.

2000

• Johan Jeuring, editor. Proceedings Workshop on Generic Programming (WGP2000), Ponte de Lima, Portugal. Utrecht Technical Report UU-CS-2000-19, 2000. (Workshop home page)
• Johan Jeuring, Chris Lengauer, and Mary Sheeran, editors. Special issue of Science of Computer Programming on Mathematics of Program Construction. Vol 37:1-3, Elsevier Science, 2000.
• Patrik Jansson and Johan Jeuring. A framework for polytypic programming on terms, with an application to rewriting. ( ps, pdf ) In Johan Jeuring, editor, Proceedings Workshop on Generic Programming (WGP2000), Ponte de Lima, Portugal, Technical report ICS Utrecht University, UU-CS-2000-19, 2000.

1999

• Johan Jeuring and S. Doaitse Swierstra. Advanced programming concepts in a course on grammars and parsing. In M. Felleisen, M. Hanus and S. Thompson, editors, Proceedings Workshop on Functional and Declarative Programming in Education, Rice COMP TR99-346, pages 7--12, 1999.
• Patrik Jansson and Johan Jeuring. Polytypic compact printing and parsing. In S. Doaitse Swierstra, editor, Proceedings European Symposium on Programming, ESOP'99, LNCS 1576, pages 273--287, Springer-Verlag, 1999.
• Roland Backhouse, Patrik Jansson, Johan Jeuring, and Lambert Meertens. Generic Programming - An Introduction -. ( ps, pdf ) In S.Doaitse Swierstra,  Pedro R. Henriques and Jose N. Oliveira, editors, Advanced Functional Programming, LNCS 1608, pages 28--115, Springer-Verlag, 1999.

1998

• Johan Jeuring, editor. Mathematics of Program Construction, LNCS 1422, Springer-Verlag, 1998. (Conference home page)
• Patrik Jansson and Johan Jeuring. Polytypic unification. Journal of Functional Programming, 8(5), pages 527--536, 1998. (bib)
• Patrik Jansson and Johan Jeuring. PolyLib - a polytypic function library. In proceedings Workshop on Generic Programming, June 18, Marstrand, Sweden, 1998. See the proceedings

1997

• Patrik Jansson and Johan Jeuring. PolyP - a polytypic programming language extension. (abstract) (bib) In Conference Record of POPL '97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 470--482, 1997.

1996

• Johan Jeuring and Patrik Jansson. Polytypic programming. (abstract) (bib) In J. Launchbury, E. Meijer and T. Sheard, editors, Advanced Functional Programming, LNCS 1129, pages 68--114, Springer-Verlag, 1996.

1995

• Johan Jeuring and Erik Meijer, editors. Advanced Functional Programming, LNCS 925, Springer-Verlag, 1995. (bib)
• Johan Jeuring and S.Doaitse Swierstra. Constructing functional programs for grammar analysis problems. (abstract) (bib) In Conference Record of FPCA '95, SIGPLAN-SIGARCH-WG2.8 Conference on Functional Programming Languages and Computer Architecture, pages 259--269, 1995.
• Johan Jeuring. Polytypic pattern matching. ( ps, pdf, abstract, bib ) In Conference Record of FPCA '95, SIGPLAN-SIGARCH-WG2.8 Conference on Functional Programming Languages and Computer Architecture, pages 238--248, 1995.
• Erik Meijer and Johan Jeuring. Merging monads and folds for functional programming. (abstract) (bib) In Johan Jeuring and E. Meijer, editors, Advanced Functional Programming , LNCS 925, pages 228--266, Springer-Verlag, 1995.

1994

• Johan Jeuring and Doaitse Swierstra. Bottom-up grammar analysis -a functional formulation-. (abstract) (bib) In Donald Sannella, editor, Proceedings Programming Languages and Systems-ESOP '94, pages 317--332. Springer-Verlag, LNCS 788, 1994.
• Johan Jeuring. The derivation of on-line algorithms, with an application to finding palindromes. (bib) Algorithmica, 11, pages 146--184, 1994.
• Johan Jeuring. Polytypic Programming --- abstract. In U.H. Engberg, K.G. Larsen, and P.D. Mosses, editors, Proceedings of the 6th Nordic Workshop on Programming Theory, BRICS Notes Series number NS-94-6, Dept. of Computer Science, University of Aarhus, Denmark, page 237, 1994.

1993

• Johan Jeuring. Theories for Algorithm Calculation (ps.Z (604K), pdf, ps, dvi). PhD thesis, Utrecht University, The Netherlands, 1993. Parts of the thesis appeared in the Lecture Notes of the STOP 1992 Summerschool on Constructive Algorithmics.

1992

• Johan Jeuring. The derivation of a hierarchy of algorithms for pattern matching on arrays. (abstract) (bib) In G. Hains and L.M.R. Mullin, editors, Proceedings ATABLE-92, Second international workshop on array structures, DIRO publication number 841, Université de Montréal, pages 199--213, 1992.
• Johan Jeuring. Incremental data compression -abstract-. (bib) In J.A. Storer and M. Cohn, editors, Proceedings Data Compression Conference, March 24--27, 1992, Snowbird, Utah, page 411, 1992.
• Johan Jeuring. Incremental data compression -extended abstract-. (abstract) (bib)In P.S. Fisher, editor, Proceedings of the Navy Environmental Systems Workshop, 1992.
• Johan Jeuring. Constructive Algorithmics. In CWI, Annual Report '91, pages 27--29, 1992.

1991

• Johan Jeuring, editor. Liber Amicorum Lambert Meertens & CWI 1966-1991. Stichting Mathematisch Centrum, 1991. (bib)
• Johan Jeuring. The derivation of hierarchies of algorithms on matrices. In B. Möller, editor, Constructing Programs from Specifications, pages 9--32. North-Holland, 1991.
• Johan Jeuring. Incremental algorithms on lists. (ps, pdf, abstract, bib) In J. van Leeuwen, editor, Proceedings SION Computing Science in the Netherlands, pages 315--335, 1991. Also appeared in EURICS Workshop on Calculational Theories of Program Structure, Hollum-Ameland, 1991.
• Maarten M. Fokkinga, Johan Jeuring, Lambert Meertens and Erik Meijer. A translation from attribute grammars to catamorphisms. The Squiggolist 2(1), pages 20--26, 1991.

1990

• Johan Jeuring. Algorithms from theorems. In M. Broy and C.B. Jones, editors, Programming Concepts and Methods, pages 247--266. North-Holland, 1990. Also appeared as Technical report Utrecht University RUU-CS-90-03 , 1990.
• Johan Jeuring. The largest ascending substree --- an exercise in nub theory. The Squiggolist, 1:36--44, 1990.

1989

• Johan Jeuring. Deriving algorithms on binary labelled trees. In P.M.G. Apers, D. Bosman, and J. van Leeuwen, editors, Proceedings SION Computing Science in the Netherlands, pages 229--249, 1989. Also appeared in Proceedings International Summer School on Constructive Algorithmics, Hollum-Ameland, 1989.
• Johan Jeuring and Lambert Meertens. The least-effort cabinet formation. The Squiggolist, 1(2), 1989.

1988

• Johan Jeuring. On classes of run-time functions. In Proceedings SION Computing Science in the Netherlands, pages 335--351, 1988.
• Johan Jeuring. Finding palindromes. In Proceedings SION Computing Science in the Netherlands, pages 123--140, 1988.

The documents contained in these directories are included by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit written permission of the copyright holder.

Back to homepage.