修补类型

此软件的关键字
参考文献, 1标准件 )
Sewell,Peter;Nardelli,Francesco Zappa;Owens,Scott;Peskine,Gilles;Ridge,Thomas;Sarkar,Susmit;韩国Strniša:Ott:对工作语义学家的有效工具支持(2010) 埃里森,丘奇;Şerbănuţă,Traian Florin;Roşu,Grigore:类型推理的重写逻辑方法(2009) Mosses,Peter D.;New,Mark J.:结构操作语义中的隐式传播(2009) 亚当斯,罗宾:逻辑框架的模块化层次结构(2004) Levin,MichaelY.;Pierce,Benjamin C.:TinkerType:玩形式系统的语言(2003)