Proof support for generic type classes. - Ron van Kesteren; Marko C. J. D. van Eekelen; Maarten de Mol (Trends in Functional Programming, 2004)

AHA: Amortized Heap Space Usage Analysis. - Marko C. J. D. van Eekelen; Olha Shkaravska; Ron van Kesteren; Bart Jacobs 001; Erik Poll; Sjaak Smetsers (Trends in Functional Programming, 2007)

Polynomial Size Analysis of First-Order Functions. - Olha Shkaravska; Ron van Kesteren; Marko C. J. D. van Eekelen (TLCA, 2007)

Inferring Static Non-monotone Size-aware Types Through Testing. - Ron van Kesteren; Olha Shkaravska; Marko C. J. D. van Eekelen (WFLP@RDP, 2007)

Polynomial Size Analysis of First-Order Shapely Functions - Olha Shkaravska; Marko C. J. D. van Eekelen; Ron van Kesteren (Log. Methods Comput. Sci., 2009)