J
.
N
athan
F
oster
Homepages 🌐
http://www.cs.cornell.edu/~jnfoster/
Entries
2006
A Theory of Featherweight Java in Isabelle/HOL
by
J. Nathan Foster
and
Dimitrios Vytiniotis
Mar 31