@InProceedings{ wflpentcs2008, author = {R. van Kesteren and O. Shkaravska and M. van Eekelen}, title = {Inferring static non-monotonically sized types through testing}, booktitle = {Revised Selected Papers of the 16th international Workshop on Functional and (Constraint) Logic Programming (WFLP) 2007}, series = {ENTCS}, publisher = {Elsevier}, year = {2008}, pages = {...}, comment = "peer reviewed, 7 selected out of 21" } }