Effects and effect inference for a core Java calculus.
Effects and effect inference for a core Java calculus.
Gavin M. Bierman, Matthew J. Parkinson
01 September 2003
Venue : Electron. Notes Theor. Comput. Sci.
External Link: https://doi.org/10.1016/S1571-0661(04)80803-X