Effects and effect inference for a core Java calculus (0)

by Gavin M Bierman, Matthew J Parkinson
Venue:Electr. Notes Theor. Comput. Sci