Also available in pdf and bibtex.

2005

  1. R. Guerra, J. Jeuring, and D. Swierstra. Generic validation in an XPath-Haskell data binding. In Proceedings of PLAN-X 2005, 2005. (bib).

2004

  1. F. Atanassow, D. Clarke, and J. Jeuring. UUXML: A Type-Preserving XML Schema-Haskell Data Binding. In B. Jayaraman, editor, Proceedings of the 6th International Symposium on Practical Aspects of Declarative Languages, PADL'04, volume 3057 of LNCS, pages 71--85. Springer-Verlag, 2004. (pdf, bib).

  2. F. Atanassow and J. Jeuring. Inferring Type Isomorphisms Generically. In D. Kozen, editor, Proceedings of the 7th International Conference on Mathematics of Program Construction, MPC'04, volume 3125 of LNCS, pages 32--53. Springer-Verlag, 2004. (bib).

  3. R. Hinze, J. Jeuring, and A. Löh. Type-indexed data types. Science of Computer Programming, 51(1-2):117--151, 2004. (bib).

  4. H. Passier and J. Jeuring. Ontology based feedback generation in design-oriented e-Learning systems. In P. Isaias, P. Kommers, and M. McPherson, editors, Proceedings of the IADIS International conference, e-Society, volume II, pages 992--996, 2004. (bib).

2003

  1. F. Atanassow, D. Clarke, and J. 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 ICS, Utrecht University, technical report UU-CS-2003-023 (bib).

  2. J. Gibbons and J. Jeuring, editors. Generic Programming. Proceedings of the IFIP TC2 Working Conference on Generic Programming, Schloss Dagstuhl, July 2002. Kluwer Academic Publishers, 2003. (bib).

  3. R. Hinze and J. Jeuring. Generic Haskell: applications. In Generic Programming, Advanced Lectures, volume 2793 of LNCS, pages 57--97. Springer-Verlag, 2003. (bib).

  4. R. Hinze and J. Jeuring. Generic Haskell: practice and theory. In Generic Programming, Advanced Lectures, volume 2793 of LNCS, pages 1--56. Springer-Verlag, 2003. (bib).

  5. J. Jeuring, editor. Proceedings Haskell Workshop. HW'03. ACM Press, 2003. (bib).

  6. J. Jeuring. Het ontwikkelen van XML-tools (The development of XML tools, in Dutch). IT Monitor, (8):4--7, September 2003. (bib).

  7. J. Jeuring and S. Peyton Jones, editors. Advanced Functional Programming, AFP'02, Advanced Lectures, volume 2638 of LNCS. Springer-Verlag, 2003. (bib).

  8. A. Löh, D. Clarke, and J. Jeuring. Dependency-style Generic Haskell. In O. Shivers, editor, Proceedings of the International Conference on Functional Programming, ICFP'03, pages 141--152. ACM Press, August 2003. (bib).

2002

  1. D. Clarke, J. Jeuring, and A. Löh. The Generic Haskell User's Guide -- Beryl release. Technical Report UU-CS-2002-047, Utrecht University, 2002. Also available from http://www.generic-haskell.org/ (bib).

  2. R. Hinze, J. Jeuring, and A. Löh. Type-indexed data types. In Proceedings of the 6th International Conference on Mathematics of Program Construction, MPC'02, volume 2386 of LNCS, pages 148--174. Springer-Verlag, 2002. Also appeared as ICS, Utrecht University, technical report UU-CS-2002-11 (bib).

  3. P. Jansson and J. Jeuring. Polytypic Data Conversion Programs. Science of Computer Programming, 43(1):35--75, 2002. (bib).

2001

  1. D. Clarke, R. Hinze, J. Jeuring, A. Löh, and J. d. Wit. The Generic Haskell User's Guide. Technical Report UU-CS-2001-26, Utrecht University, 2001. (bib).

  2. R. Hinze and J. Jeuring. Functional Pearl: Weaving a Web. 11(6):681--689, 2001. (bib).

2000

  1. P. Jansson and J. Jeuring. A Framework for Polytypic Programming on Terms, with an Application to Rewriting. In Workshop on Generic Programming, 2000. Appeared in Utrecht University technical report UU-CS-2000-19 (bib).

  2. J. Jeuring, editor. Workshop on Generic Programming. Utrecht University, 2000. Technical report UU-CS-2000-19 (bib).

  3. J. Jeuring, C. Lengauer, and M. Sheeran, editors. Special issue of Science of Computer Programming on Mathematics of Program Construction, volume 37. Elsevier Science, 2000. (bib).

1999

  1. R. Backhouse, P. Jansson, J. Jeuring, and L. Meertens. Generic Programming --- An Introduction. In Advanced Functional Programming, AFP'98, volume 1608 of LNCS, pages 28--115. Springer-Verlag, 1999. (bib).

  2. P. Jansson and J. Jeuring. Polytypic Compact Printing and Parsing. In S. D. Swierstra, editor, Proceedings of the 8th European Symposium on Programming, ESOP'99, volume 1576 of LNCS, pages 273--287. Springer-Verlag, 1999. (bib).

  3. J. Jeuring and S. D. 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, FDPE'99, pages 7--12, 1999. Rice COMP TR99-346 (bib).

1998

  1. P. Jansson and J. Jeuring. PolyLib -- a polytypic function library. In Workshop on Generic Programming, Marstrand, June 1998. (bib).

  2. P. Jansson and J. Jeuring. Functional Pearl: Polytypic Unification. Journal of Functional Programming, 8(5):527--536, September 1998. (bib).

  3. J. Jeuring, editor. Mathematics of Program Construction, volume 1422 of LNCS. Springer-Verlag, 1998. (bib).

1997

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

1996

  1. J. Jeuring and P. Jansson. Polytypic Programming. In J. Launchbury, E. Meijer, and T. Sheard, editors, Advanced Functional Programming, AFP'96, volume 1129 of LNCS, pages 68--114. Springer-Verlag, 1996. (bib).

1995

  1. J. Jeuring. Polytypic pattern matching. In Conference Record of FPCA '95, SIGPLAN-SIGARCH-WG2.8 Conference on Functional Programming Languages and Computer Architecture, pages 238--248. ACM Press, 1995. (bib).

  2. J. Jeuring and E. Meijer, editors. Advanced Functional Programming, AFP'95, volume 925 of LNCS. Springer-Verlag, 1995. (bib).

  3. J. Jeuring and S. D. Swierstra. Constructing functional programs for grammar analysis problems. In Conference Record of FPCA '95, SIGPLAN-SIGARCH-WG2.8 Conference on Functional Programming Languages and Computer Architecture, pages 259--269, 1995. (bib).

  4. E. Meijer and J. Jeuring. Merging monads and folds for functional programming. In Advanced Functional Programming, AFP'95, volume 925 of LNCS, pages 228--266. Springer-Verlag, 1995. (bib).

1994

  1. J. Jeuring. The derivation of on-line algorithms, with an application to finding palindromes. Algorithmica, 11:146--184, 1994. (bib).

  2. J. Jeuring. Polytypic Programming --- abstract. In U. Engberg, K. Larsen, and P. 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. (bib).

  3. J. Jeuring and S. D. Swierstra. Bottom-up grammar analysis --- a functional formulation ---. In D. Sannella, editor, Proceedings Programming Languages and Systems, ESOP'94, volume 788 of LNCS, pages 317--332. Springer-Verlag, 1994. (bib).

1993

  1. J. Jeuring. Theories for Algorithm Calculation. PhD thesis, Utrecht University, 1993. Parts of the thesis appeared in the Lecture Notes of the STOP 1992 Summerschool on Constructive Algorithmics (bib).

1992

  1. J. Jeuring. Incremental Data Compression ---abstract---. In J. Storer and M. Cohn, editors, Proceedings Data Compression Conference, March 24--27, 1992, Snowbird, Utah, page 411, 1992. (bib).

  2. J. Jeuring. Incremental Data Compression ---extended abstract---. In P. Fisher, editor, Proceedings of the Navy Environmental Systems Workshop, 1992. (bib).

  3. J. Jeuring. The derivation of a hierarchy of algorithms for pattern matching on arrays. In G. Hains and L. Mullin, editors, Proceedings ATABLE-92, Second international workshop on array structures, pages 199--213, 1992. DIRO publication number 841, Université de Montréal (bib).

1991

  1. M. M. Fokkinga, J. Jeuring, L. Meertens, and E. Meijer. A translation from attribute grammars to catamorphisms. The Squiggolist, 2(1):20--26, 1991. (bib).

  2. J. Jeuring. The derivation of hierarchies of algorithms on matrices. In B. Möller, editor, Constructing Programs from Specifications, pages 9--32. North-Holland, 1991. (bib).

  3. J. Jeuring. Incremental algorithms on lists. In J. v. 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 (bib).

  4. J. Jeuring, editor. Liber Amicorum Lambert Meertens & CWI 1966-1991. Stichting Mathematisch Centrum, 1991. (bib).

1990

  1. J. Jeuring. Algorithms from Theorems. In M. Broy and C. Jones, editors, Programming Concepts and Methods, pages 247--266. North-Holland, 1990. (bib).

  2. J. Jeuring. The largest ascending substree --- an exercise in nub theory. The Squiggolist, 1:36--44, 1990. (bib).

1989

  1. J. Jeuring. Deriving Algorithms on Binary Labelled Trees. In P. Apers, D. Bosman, and J. v. 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 (bib).

  2. J. Jeuring and L. Meertens. The least-effort cabinet formation. The Squiggolist, 1(2), 1989. (bib).

1988

  1. J. Jeuring. On classes of run-time functions. In Proceedings SION Computing Science in the Netherlands, pages 335--351, 1988. (bib).

  2. J. Jeuring. Finding palindromes. In Proceedings SION Computing Science in the Netherlands, pages 123--140, 1988. (bib).

This bibliography was generated using the Stratego/XT bibtex-tools.
This document was translated from LATEX by HEVEA.