Old Web
English
Sign In
Acemap
>
Paper
>
MJ: An imperative core calculus for Java and Java with effects
MJ: An imperative core calculus for Java and Java with effects
2003
Gavin M. Bierman
M. J. Parkinson
A. M. Pitts
Keywords:
Real time Java
Programming language
Java API for XML-based RPC
Java Modeling Language
Generics in Java
Scala
Java annotation
Object-oriented programming
Java
Computer science
Correction
Source
Cite
Save
Machine Reading By IdeaReader
17
References
114
Citations
NaN
KQI
[]