MJ：Java 的命令式核心演算和具有效果的 Java 电子书下载

原名:MJ: An imperative core calculus for Java and Java with effects
作品简介:技术报告。 563 号。计算机实验室。 UCAM-CL-TR-563。 ISSN 1476-2986。 MJ：命令式核心演算。 Java 和带效果的 Java。……