Semantic Types and Approximation for Featherweight Java

by R. N. S. Rowe , S. J. Van Bakel