This paper presents a program transformation that allows languages with polymorphic typing (e.g. ML) to be implemented with unboxed, multi-word data representations. The transformation introduces coercions between various representations, based on a typing derivation. A prototype ML compiler utilizing this transformation demonstrates important speedups.
本文介绍了一种程序转换,该程序转换允许使用未装箱的多字数据表示形式来实现具有多态类型(例如ML)的语言。转换基于类型推导在各种表示之间引入强制。利用此转换的ML编译器原型证明了重要的加速效果。 P>
机译:具有对象扩展的脚本语言的多态类型推断
机译:自类型与匹配的多态面向对象语言中的问题
机译:PolyTOIL:一种类型安全的多态面向对象语言
机译:重访未装箱的值和多态类型
机译:具有用户定义的多态关系运算符的语言中的类型推断,类型改进和类型简化。
机译:多态性扩增分型序列(PATS)菌株分型系统准确地区分了一组与人类感染相关的时间和空间上不同的大肠杆菌O157分离株
机译:未装箱的对象和多态类型