希尔德，蒂姆 使用\（\Omega\）mega缩小的类型级计算。 （英语） Zbl 1277.68046号 Stump，Aron（ed.）等人，《编程语言与程序验证会议录》（PLPV 2006），美国华盛顿州西雅图，2006年8月21日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》174，第7期，105-128（2007）。MSC公司：68甲15 03B70号 68甲18 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{T.Sheard}，电子。注释Theor。计算。科学。174，编号7，105-128（2007；Zbl 1277.68046） 全文： 内政部
拉尔夫·拉梅尔 使用术语重写策略的类型化泛型遍历。 （英语） Zbl 1026.68076号 J.日志。阿尔盖布。程序。 54，第1-2、1-64号（2003）.MSC公司：第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Lämmel}，J.Log。阿尔盖布。程序。54，编号1--2，1--64（2003；Zbl 1026.68076） 全文： 内政部
Atsushi Ohori 多态性的类型定向专门化。 （英语） Zbl 1045.68505号 Inf.计算。 155，编号1-2，64-107（1999）.MSC公司：68甲15 68N20型 68问题55 PDF格式BibTeX公司 XML格式引用 \textit｛A.Ohori｝，信息计算。155，编号1--2，64-107（1999；Zbl 1045.68505） 全文： 内政部