Eelco Visser as a Typographic Designer

Author Paul Klint

Thumbnail PDF


  • Filesize: 4.61 MB
  • 5 pages

Document Identifiers

Author Details

Paul Klint
  • Centrum Wiskunde & Informatica (CWI), Amsterdam, The Netherlands

Cite AsGet BibTex

Paul Klint. Eelco Visser as a Typographic Designer. In Eelco Visser Commemorative Symposium (EVCS 2023). Open Access Series in Informatics (OASIcs), Volume 109, pp. 15:1-15:5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)


While supervising both Eelco’s master’s thesis and his dissertation I have witnessed an evolution in his taste and style in many aspects of design, ranging from visual and typographical design to software design and even presentation and article design. I give some personal reflections on this evolution.

Subject Classification

ACM Subject Classification
  • Software and its engineering → Documentation
  • Typesetting formal specifications
  • Typographic design
  • personal recollection


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads


  1. J. A. Bergstra, J. Heering, and P. Klint, editors. Algebraic Specification. ACM Press/Addison-Wesley, 1989. Google Scholar
  2. Luis Eduardo de Souza Amorim and Eelco Visser. Multi-purpose syntax definition with SDF3. In Frank S. de Boer and Antonio Cerone, editors, Software Engineering and Formal Methods - 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020, Proceedings, volume 12310 of LNCS, pages 1-23. Springer, 2020. Google Scholar
  3. P. Klint. A Study in String Processing Languages, volume 205 of Lecture Notes in Computer Science. Springer-Verlag, 1985. URL:
  4. Bas Luttik and Eelco Visser. Specification of rewriting strategies. In M. P. A. Sellink, editor, 2nd International Workshop on the Theory and Practice of Algebraic Specifications (ASF+SDF 1997), Electronic Workshops in Computing. Springer-Verlag, September 1997. Google Scholar
  5. Arie van Deursen, Jan Heering, and Paul Klint, editors. Language Prototyping. An Algebraic Specification Approach, volume 5 of AMAST Series in Computing. World Scientific, 1997. Google Scholar
  6. Eelco Visser. Syntax and static semantics of Eiffel. a case study in algebraic specification techniques, December 1992. URL:
  7. Eelco Visser. Combinatory algebraic specification & compilation of list matching. Master’s thesis, Department of Computer Science, University of Amsterdam, June 1993. URL:
  8. Eelco Visser. Syntax Definition for Language Prototyping. PhD thesis, University of Amsterdam, September 1997. URL:
  9. Eelco Visser. Stratego: A language for program transformation based on rewriting strategies. In Aart Middeldorp, editor, Rewriting Techniques and Applications, 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001, Proceedings, volume 2051 of Lecture Notes in Computer Science, pages 357-362. Springer, 2001. Google Scholar
  10. Eelco Visser and Mark G. J. van den Brand. From Box to TeX: An algebraic approach to the generation of documentation tools. Technical Report P9420, Programming Research Group, University of Amsterdam, July 1994. URL:
Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail