论文信息 - Type Inference for Polymorphic References - 字舞流文

Type Inference for Polymorphic References

Mads Tofte | M. Tofte

[1] Robin Milner,et al. Co-Induction in Relational Semantics , 1991, Theor. Comput. Sci..

[2] Peter Aczel,et al. Non-well-founded sets , 1988, CSLI lecture notes series.

[3] M. Tofte. Operational Semantics and Polymorphic Type Inference , 1988 .

[4] Luís Damas,et al. Type assignment in programming languages , 1984 .

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

[6] Robin Milner,et al. A Theory of Type Polymorphism in Programming , 1978, J. Comput. Syst. Sci..

[7] Peter Aczel,et al. An Introduction to Inductive Definitions , 1977 .

[8] R. Hindley. The Principal Type-Scheme of an Object in Combinatory Logic , 1969 .