1 paper · 1 filter
Nick Webster, Marco Servetto, Michael Homer
Existing minimal Object-Oriented models (OO), like Featherweight Java (FJ), are valuable for modelling programs and designing new programming languages and tools. However, their ut…