Constructive Foundations for Featherweight Java (2001)

by Thomas Studer
Venue:PROOF THEORY IN COMPUTER SCIENCE
Citations:9 - 4 self