"Type-safe, self inspecting code."

Arthur I. Baars, S. Doaitse Swierstra (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics