dblp.uni-trier.dewww.uni-trier.de

Ron van Kesteren Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
4EEOlha Shkaravska, Marko C. J. D. van Eekelen, Ron van Kesteren: Polynomial Size Analysis of First-Order Shapely Functions Logical Methods in Computer Science 5(2): (2009)
2008
3EERon van Kesteren, Olha Shkaravska, Marko C. J. D. van Eekelen: Inferring Static Non-monotone Size-aware Types Through Testing. Electr. Notes Theor. Comput. Sci. 216: 45-63 (2008)
2007
2EEOlha Shkaravska, Ron van Kesteren, Marko C. J. D. van Eekelen: Polynomial Size Analysis of First-Order Functions. TLCA 2007: 351-365
2004
1 Ron van Kesteren, Marko C. J. D. van Eekelen, Maarten de Mol: Proof support for generic type classes. Trends in Functional Programming 2004: 1-16

Coauthor Index

1Marko C. J. D. van Eekelen [1] [2] [3] [4]
2Maarten de Mol [1]
3Olha Shkaravska [2] [3] [4]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)