Ron van Kesteren

According to our database, Ron van Kesteren authored at least 5 papers between 2004 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2009

Polynomial Size Analysis of First-Order Shapely Functions

Olha Shkaravska, Marko C. J. D. van Eekelen, Ron van Kesteren

Log. Methods Comput. Sci., 2009

2007

Inferring Static Non-monotone Size-aware Types Through Testing.

Ron van Kesteren, Olha Shkaravska, Marko C. J. D. van Eekelen

Proceedings of the 16th International Workshop on Functional and (Constraint) Logic Programming, 2007

Polynomial Size Analysis of First-Order Functions.

Olha Shkaravska, Ron van Kesteren, Marko C. J. D. van Eekelen

Proceedings of the Typed Lambda Calculi and Applications, 8th International Conference, 2007

AHA: Amortized Heap Space Usage Analysis.

Marko C. J. D. van Eekelen, Olha Shkaravska, Ron van Kesteren, Bart Jacobs, Erik Poll, Sjaak Smetsers

Proceedings of the Eighth Symposium on Trends in Functional Programming, 2007

2004

Proof support for generic type classes.

Ron van Kesteren, Marko C. J. D. van Eekelen, Maarten de Mol

Proceedings of the Revised Selected Papers from the Fifth Symposium on Trends in Functional Programming, 2004