Theoretical foundations; Language design and implementation;
机译:解除Java:翻译多态性的最小演算
机译:使用QuickCheck生成随机的类型良好的轻量级Java程序
机译:Java和Lambda:轻量级故事
机译:轻量级Java是Java和GJ的最小核心演算
机译:从FLOWCORE到JITFLOW:提高JavaScript中信息流的速度。
机译:自然灾害后的社区恢复:来自2010年MT影响的社区调查的核心数据。 Merapi爆发在印度尼西亚中部爪哇
机译:羽量级Java - Java和GJ的最小核心微积分
机译:羽量级Java的类型保留编译