Ron van Kesteren

Publication Activity (10 Years)

Years Active: 2004-2009
Publications (10 Years): 0

Publications

Olha Shkaravska, Marko C. J. D. van Eekelen, Ron van Kesteren
Polynomial Size Analysis of First-Order Shapely Functions Log. Methods Comput. Sci. 5 (2) (2009)
Ron van Kesteren, Olha Shkaravska, Marko C. J. D. van Eekelen
Inferring Static Non-monotone Size-aware Types Through Testing. Electron. Notes Theor. Comput. Sci. 216 (2008)
Olha Shkaravska, Ron van Kesteren, Marko C. J. D. van Eekelen
Polynomial Size Analysis of First-Order Functions. TLCA (2007)
Marko C. J. D. van Eekelen, Olha Shkaravska, Ron van Kesteren, Bart Jacobs, Erik Poll, Sjaak Smetsers
AHA: Amortized Heap Space Usage Analysis. Trends in Functional Programming (2007)
Ron van Kesteren, Marko C. J. D. van Eekelen, Maarten de Mol
Proof support for generic type classes. Trends in Functional Programming (2004)