Constructive foundations for Featherweight Java

TitleConstructive foundations for Featherweight Java
Publication TypeConference Paper
Year of Publication2001
AuthorsStuder, T
EditorKahle, R, Schroeder-Heister, P, Stärk, RF
Conference NameProceedings of the International Seminar on Proof Theory in Computer Science
Pagination202-238
PublisherSpringer
URLhttp://www.iam.unibe.ch/ltgpub/2001/stu01b.pdf