论文信息 - Generic Terms Having No Polymorphic Types - 字舞流文

Generic Terms Having No Polymorphic Types

Sophie Malecki | Sophie Malecki

[1] Philippe le Chenadec. On the Logic of Unification , 1989, J. Symb. Comput..

[2] Robin Milner,et al. Principal type-schemes for functional programs , 1982, POPL '82.

[3] John C. Mitchell,et al. Polymorphic Type Inference and Containment , 1988, Inf. Comput..

[4] Bernard J. Baars. The logic of unification. , 1985 .

[5] J. Girard. Une Extension De ĽInterpretation De Gödel a ĽAnalyse, Et Son Application a ĽElimination Des Coupures Dans ĽAnalyse Et La Theorie Des Types , 1971 .

[6] Paola Giannini,et al. Characterization of typings in polymorphic type discipline , 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.