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

Ron van Kesteren, Olha Shkaravska, Marko C. J. D. van Eekelen (2008)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics