Formal foundations; Language design; Lifting/lowering; Translation Polymorphism; Type systems;
机译:解除Java:翻译多态性的最小演算
机译:Java中的参数多态性:一种基于反射性特征的翻译方法
机译:从解析到后续演算的翻译的复杂性
机译:解除Java:翻译多态性的最小演算
机译:高通量研究人类单核苷酸多态性的翻译效果。
机译:爪哇族患者II类骨骼错合中COL1A1和COL11A1的单核苷酸多态性(SNP)
机译:羽量级Java - Java和GJ的最小核心微积分