Naturalistic types.

Roman Knll, Vaidas Gasiunas, Mira Mezini

Browse the full OOPSLA paper archive.