A Theory of Featherweight Java in Isabelle/HOL by J. Nathan Foster 🌐 and Dimitrios Vytiniotis 🌐 Mar 31