Indiana University.;
Compiler; Efficiecy; Gradual typing; Language design;
机译:在胁迫的风格中节省空间的渐进式
机译:Toro等人的勘误将“带有引用类型驱动的渐进安全性”,编程语言和系统(TOPLAS)第40卷的ACM交易,第4卷,第16条
机译:带参考的类型驱动的逐步安全性
机译:高效渐进式打字的单调参考
机译:逐步打字的高效运行时
机译:在初级保健中实现更有效的糖尿病控制:在2型糖尿病患者中六个月监测与三个月监测相比-EFFIMODI试验。初级保健中一项随机对照的患者偏好当量试验的设计
机译:逐步打字的单调参考