Constructive Foundations for Featherweight Java (2001)

by Thomas Studer
Venue:PROOF THEORY IN COMPUTER SCIENCE
Citations:8 - 3 self