巴巴拉·科尼格 图重写中类型的通用框架。 (英语) Zbl 1081.68040号 Acta信息。 42,No.4-5,349-388(2005).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.König},《学报》第42期,第4--5349-388号(2005年;Zbl 1081.68040) 全文: 内政部
直纪小林 (pi)演算的基于类型的信息流分析。 (英语) Zbl 1081.68061号 Acta信息。 42,编号4-5,291-347(2005).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Kobayashi},《信息学报》第42期,第4--5291--347号(2005年;Zbl 1081.68061) 全文: 内政部
马修·轩尼诗;朱利安·拉特克;吉田、Nobuko safeDpi:一种控制移动代码的语言。 (英语) Zbl 1081.68003号 Acta信息。 42,编号4-5227-290(2005).MSC公司:64岁以下 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{M.Hennessy}等人,《学报》第42期,第4--5227--290号(2005年;Zbl 1081.68003) 全文: 内政部