"Featherweight Jigsaw: A Minimal Core Calculus for Modular Composition of ..."

Giovanni Lagorio, Marco Servetto, Elena Zucca (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics