Type Inference with Subtypes
暂无分享,去创建一个
[1] Daniel Leivant,et al. Polymorphic type inference , 1983, POPL '83.
[2] Prateek Mishra,et al. Declaration-free type checking , 1985, POPL.
[3] Robin Milner,et al. Principal type-schemes for functional programs , 1982, POPL '82.
[4] John C. Reynolds,et al. Three Approaches to Type Structure , 1985, TAPSOFT, Vol.1.
[5] Alberto Martelli,et al. An Efficient Unification Algorithm , 1982, TOPL.
[6] Luca Cardelli,et al. Basic Polymorphic Typechecking , 1987, Sci. Comput. Program..
[7] Tsung-Min Kuo,et al. Strictness analysis: a new perspective based on type inference , 1989, FPCA.
[8] John C. Mitchell,et al. Coercion and type inference , 1984, POPL.
[9] John C. Reynolds,et al. Using category theory to design implicit conversions and generic operators , 1980, Semantics-Directed Compiler Generation.
[10] Luca Cardelli,et al. A Semantics of Multiple Inheritance , 1984, Inf. Comput..
[11] John Mitchell,et al. Type Inference and Type Containment , 1984, Semantics of Data Types.
[12] Didier Rémy,et al. Type checking records and variants in a natural extension of ML , 1989, POPL '89.
[13] Satish R. Thatte,et al. Type Inference with Partial Types , 1988, Theor. Comput. Sci..
[14] Mitchell Wand,et al. Complete Type Inference for Simple Objects , 1987, LICS.