D
imitrios
V
ytiniotis
Homepages 🌐
http://research.microsoft.com/en-us/people/dimitris/
Entries
2006
A Theory of Featherweight Java in Isabelle/HOL
by
J. Nathan Foster
and
Dimitrios Vytiniotis
Mar 31