myExtraContent1
myExtraContent5

Publications



2014


Jeroen Weijers, Jurriaan Hage, and Stefan Holdermans. Security type error diagnosis for higher-order, polymorphic languages. Science of Computer Programming, 95:200–218, 2014. [paper | doi]

2013


Stefan Holdermans. Fast, applicative combinator lexers. In Jurriaan Hage and Atze Dijkstra, editors, Een lawine van ontwortelde bomen. Liber amicorum voor Doaitse Swierstra, pages 307–316. Utrecht University, 2013. [paper]

Stefan Holdermans. Random testing of purely functional abstract datatypes. Guidelines for dealing with operation invariance. In Ricardo Peña and Tom Schrijvers, editors, Proceedings of the 15th International Symposium on Principles and Practice of Declarative Programming, PPDP 2013, Madrid, Spain, September 16–18, 2013, pages 275–284. ACM Press, 2013. [paper | doi | slides]

Jeroen Weijers, Jurriaan Hage, and Stefan Holdermans. Security type error diagnosis for higher-order, polymorphic languages. In Elvira Albert and Shin-Cheng Mu, editors, Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, PEPM 2013, Rome, Italy, January 21–22, 2013, pages 3–12. ACM Press, 2013. [paper | doi | slides]

2010


Kasper Brink, Stefan Holdermans, and Andres Löh. Dependently typed grammars. In Claude Bolduc, Jules Desharnais, and Béchir Ktari, editors, Mathematics of Program Construction, 10th International Conference, MPC 2010, Québec City, Canada, June 21–23, 2010, Proceedings, volume 6120 of Lecture Notes in Computer Science, pages 58–79. Springer, 2010. [paper | doi | slides]

Stefan Holdermans and Jurriaan Hage. Making “stricterness” more relevant. Higher-Order and Symbolic Computation, 23(3):315–335, 2010. [paper | doi]

Stefan Holdermans and Jurriaan Hage. Making “stricterness” more relevant. In John P. Gallagher and Janis Voigtländer, editors, Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2010, Madrid, Spain, January 18–19, 2010, pages 121–130. ACM Press, 2010. [paper | doi | slides]

Stefan Holdermans and Jurriaan Hage. On the rôle of minimal typing derivations in type-driven program transformation. In Claus Braband and Pierre-Etienne Moreau, editors, Proceedings of the Tenth Workshop on Language Descriptions, Tools and Applications, LDTA 2010, Paphos, Cyprus, March 27–28, 2010. ACM Press, 2010. [paper | doi | slides]

Stefan Holdermans and Jurriaan Hage. Polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect operators. In Paul Hudak and Stephanie Weirich, editors, Proceedings of the 15th ACM SIGPLAN International Conference on Functional Programming, ICFP 2010, Baltimore, Maryland, USA, September 27–29, 2010, pages 63–74. ACM Press, 2010. [paper | doi | slides]

José Pedro Magalhães, Stefan Holdermans, Johan Jeuring, and Andres Löh. Optimizing generics is easy! In John P. Gallagher and Janis Voigtländer, editors, Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2010, Madrid, Spain, January 18–19, 2010, pages 121–130. ACM Press, 2010. [paper | doi | slides]

Thomas van Noort, Alexey Rodriguez Yakushev, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren, and José Pedro Magalhães. A lightweight approach to datatype-generic rewriting, Journal of Functional Programming, 20(3–4):375–413, 2010. [paper | doi]

Thomas van Noort, Alexey Rodriguez Yakushev, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren, and José Pedro Magalhães. A lightweight approach to datatype-generic rewriting. Technical Report UU-CS-2010-008, Utrecht University, 2010. [report]

2009


Patrick Camphuijsen, Jurriaan Hage, and Stefan Holdermans. Soft typing PHP. Technical Report UU-CS-2009-004, Utrecht University, 2009. [report]

José Pedro Magalhães, Stefan Holdermans, Johan Jeuring, and Andres Löh. Optimizing generics is easy! Technical Report UU-CS-2009-022, Utrecht University, 2009. [report]

Alexey Rodriguez Yakushev, Stefan Holdermans, Andres Löh, and Johan Jeuring. Generic programming with fixed points for mutually recursive datatypes. In Graham Hutton and Andrew Tolmach, editors, Proceedings of the 14th ACM SIGPLAN International Conference on Functional Programming, ICFP 2009, Edinburgh, Scotland, August 31–September 2, 2009, pages 233–244. ACM Press, 2009. [paper | doi | slides]

2008


Eelco Dolstra, Jurriaan Hage, Bastiaan Heeren, Stefan Holdermans, Johan Jeuring, Andres Löh, Clara Löh, Arie Middelkoop, Alexey Rodriguez Yakushev, and John van Schie. Report on the Tenth ICFP Programming Contest. In James Hook and Peter Thiemann, editors, Proceedings of the 13th ACM SIGPLAN International Conference on Functional Programming, ICFP 2008, Victoria, BC, Canada, September 22–24, 2008, pages 397–408. ACM Press, 2008. [paper | doi | slides]

Jurriaan Hage and Stefan Holdermans. Heap recycling for lazy languages. In John Hatcliff, Robert Glück, and Oege de Moor, editors, Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM 2008, San Francisco, California, USA, January 7–8, 2008, pages 189–197. ACM Press, 2008. [paper | doi | slides]

Thomas van Noort, Alexey Rodriguez Yakushev, Stefan Holdermans, Johan Jeuring, and Bastiaan Heeren. A lightweight approach to datatype-generic rewriting. In Ralf Hinze and Don Syme, editors, Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2008, Victoria, BC, Canada, September 20, 2008, pages 13–24. ACM Press, 2008. [paper | doi | slides]

Thomas van Noort, Alexey Rodriguez Yakushev, Stefan Holdermans, Johan Jeuring, and Bastiaan Heeren. A lightweight approach to datatype-generic rewriting. Technical Report UU-CS-2008-020, Utrecht University, 2008. [report]

Alexey Rodriguez Yakushev, Stefan Holdermans, Andres Löh, and Johan Jeuring. Generic programming with fixed points for mutually recursive datatypes. Technical Report UU-CS-2008-019, Utrecht University, 2008. [report]

2007


Eelco Dolstra, Jurriaan Hage, Bastiaan Heeren, Stefan Holdermans, Johan Jeuring, Andres Löh, Arie Middelkoop, Alexey Rodriguez Yakushev, Johan van Schie, and Clara Löh. Morph Endo! Report on the Tenth Interstellar Contest on Fuun Programming. Technical Report UU-CS-2007-029, Utrecht University, 2007. [report]

Eelco Dolstra, Jurriaan Hage, Bastiaan Heeren, Stefan Holdermans, Johan Jeuring, Andres Löh, Arie Middelkoop, Alexey Rodriguez Yakushev, Johan van Schie, and Clara Löh. Morph Endo! Task description of the Tenth Interstellar Contest on Fuun Programming. Technical Report UU-CS-2007-027, Utrecht University, 2007. [report]

Jurriaan Hage, Stefan Holdermans, and Arie Middelkoop. A generic usage analysis with subeffect qualifiers. In Ralf Hinze and Norman Ramsey, editors, Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1–3, 2007, pages 235–246. ACM Press, 2007. [paper | doi | slides]

2006


Stefan Holdermans, Johan Jeuring, Andres Löh, and Alexey Rodriguez Yakushev. Generic views on data types. In Tarmo Uustalu, editor, Mathematics of Program Construction, 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3–5, 2006, Proceedings, volume 4014 of Lecture Notes in Computer Science, pages 209–234. Springer, 2006. [paper | doi | slides]

Stefan Holdermans, Johan Jeuring, Andres Löh, and Alexey Rodriguez Yakushev. Generic views on data types. Technical Report UU-CS-2006-020, Utrecht University, 2006. [report]

2005


Stefan Holdermans. Generic Views. Master’s thesis, Utrecht University, 2005. [thesis | slides]

Stefan Holdermans, Johan Jeuring, and Andres Löh. Generic views on data types. Technical Report UU-CS-2005-012, Utrecht University, 2005. [report]

In Preparation


Stefan Holdermans. Demand Typing. Ph.D. thesis, Utrecht University.

Stefan Holdermans. From trees to graphs and back again. A datatype-generic implementation of observable sharing. Submitted to PPDP 2014.

Stefan Holdermans. Polymorphic dynamics for the masses. To be submitted to J. Funct. Program.

Jeroen Weijers, Jurriaan Hage, and Stefan Holdermans. Security type error diagnosis for higher-order, polymorphic languages. Accepted for publication in Sci. Comput. Program.
myExtraContent7
myExtraContent8