List of Publications
2010
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
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
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.
Note
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.