Publications
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-Verlag, 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-Verlag, 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. Exercises in Type-based Program Analysis. Ph.D. thesis, Utrecht University, 2012.