| |
| 2009 | ||
|---|---|---|
| 4 | EE | Olha Shkaravska, Marko C. J. D. van Eekelen, Ron van Kesteren: Polynomial Size Analysis of First-Order Shapely Functions CoRR abs/0902.2073: (2009) |
| 2008 | ||
| 3 | EE | Ron 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 | ||
| 2 | EE | Olha 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 | |
| 1 | Marko C. J. D. van Eekelen | [1] [2] [3] [4] |
| 2 | Maarten de Mol | [1] |
| 3 | Olha Shkaravska | [2] [3] [4] |