home	education	contact	library	calendar	search
	about us	research	people	archive	services	jobs

publications by drs. S. Holdermans

• Metis is a dutch, academic research information database
• see also: Metis for Departement Informatica
• please send notifications, questions, remarks etc to metis@cs.uu.nl
• see also : research -> Metis overviews

drs. S. Holdermans

• contact information
• my technical reports
• former member of group software technology

some publications

Holdermans, S. & Hage, J. (2011). Making ``stricterness'' more relevant. Higher-Order and Symbolic Computation, 23, 315-335.

Noort, T. van, Yakushev, A.R., Holdermans, S., Jeuring, J.T., Heeren, B.J. & Rodrigues Magalhães, J.P. (2010). A Lightweight Approach to Datatype-generic Rewriting. : Department of Information and Computing Sciences, Utrecht University.

Noort, T. van, Rodriguez, A., Holdermans, S., Jeuring, J.T., Heeren, B. & Rodrigues Magalhães, J.P. (2010). A lightweight approach to datatype-generic rewriting. Journal of functional programming, 20(3/4), 375-413.

Holdermans, S. & Hage, J. (2010). Making ``Stricterness'' More Relevant. In Proceedings of the ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program Manipulation (PEPM '10) (pp. 121-130). ACM Press.

Rodrigues Magalhães, J.P., Holdermans, S., Jeuring, J.T. & Löh, A. (2010). Optimizing generics is easy! In Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation, PEPM 2010 (pp. 33-42). ACM Press.

Holdermans, S. & Hage, J. (2010). Polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect operators. In Proceedings of the 15th ACM SIGPLAN International Conference on Functional Programming, ICFP 2010 (pp. 63-74).

Rodriguez Yakushev, A., Holdermans, S., Löh, A. & Jeuring, J.T. (2009). Generic programming with fixed points for mutually recursive datatypes. In G. Hutton & A.P. Tolmach (Eds.), Proceedings of the 14th ACM SIGPLAN International Conference on Functional Programming, ICFP'09 (pp. 233-244). ACM.

Rodrigues Magalhães, J.P., Holdermans, S., Jeuring, J.T. & Löh, A. (2009). Optimizing Generics Is Easy! onbekend: UU BETA ICS Departement Informatica.

Camphuijsen, P., Hage, J. & Holdermans, S. (2009). Soft Typing PHP. onbekend: UU BETA ICS Departement Informatica.

Noort, T. van, Rodriguez Yakushev, A., Holdermans, S., Jeuring, J.T. & Heeren, B.J. (2008). A Lightweight Approach to Datatype-Generic Rewriting. (UU-CS2008-020 ). onbekend: UU WINFI Informatica en Informatiekunde.

Noort, T. van, Rodriguez Yakushev, A., Holdermans, S., Jeuring, J.T. & Heeren, B.J. (2008). A lightweight approach to datatype-generic rewriting. In R. Hinze & D. Syme (Eds.), Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2008, Victoria, BC, Canada, September 20, 2008 (pp. 13-24). ACM Press.

Rodriguez Yakushev, A., Holdermans, S., Loeh, A. & Jeuring, J.T. (2008). Generic programming with fixed points for mutually recursive datatypes. (UU-CS2008-019 ). onbekend: UU WINFI Informatica en Informatiekunde.

Holdermans, S. & Hage, J. (2008). Heap recycling for lazy languages. In J. Hatcliff, R. Glück & O. de Moor (Eds.), Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'08, San Francisco, California, USA, January 7–8, 2008 (pp. 189-197). ACM Press.

Dolstra, E., Hage, J., Heeren, B.J., Holdermans, S., Jeuring, J.T., Löh, A., Löh, C., Middelkoop, A., Rodriguez Yakushev, A. & Schie, J. van (2008). Report on the tenth {ICFP} programming contest. In ICFP '08: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming (pp. 397-408). New York, NY, USA: ACM.

Hage, J., Holdermans, S. & Middelkoop, A. (2007). A generic usage analysis with subeffect qualifiers. In R. Hinze & N. Ramsey (Eds.), Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1--3 (pp. 235-246). ACM Press.

Dolstra, E., Hage, J., Heeren, B.J., Holdermans, S., Jeuring, J.T., Löh, A., Middelkoop, A., Rodriguez Yakushev, A., Schie, J.C. van & Löh, C. (2007). Morph Endo! Report on the Tenth Interstellar Contest on Fuun Programming. (UU-CS2007-029 ). onbekend: UU WINFI Informatica en Informatiekunde.

Dolstra, E., Hage, J., Heeren, B.J., Holdermans, S., Jeuring, J.T., Löh, A., Middelkoop, A., Rodriguez Yakushev, A., Schie, J.C. van & Löh, C. (2007). Morph Endo! Task description of the Tenth Interstellar Contest on Fuun Programming. (UU-CS2007-027 ). onbekend: UU WINFI Informatica en Informatiekunde.

Holdermans, S., Jeuring, J.T., Löh, A. & Rodriguez Yakushev, A. (2006). Generic Views on Data Types. (UU-CS2006-020 ). onbekend: UU WINFI Informatica en Informatiekunde.

Holdermans, S., Jeuring, J.T., Löh, A. & Rodriguez, A. (2006). Generic views on data types. In T. Uustalu (Ed.), Proceedings 8th International Conference on Mathematics of Program Construction, MPC 2006 (pp. 209-234). Springer-Verlag.

Holdermans, S., Jeuring, J.T. & Löh, A. (2005). Generic Views on Data Types. (UU-CS2005-012 ). onbekend: UU WINFI Informatica en Informatiekunde.