Efficient recursive subtyping
暂无分享,去创建一个
[1] Mitchell Wand,et al. Type Inference for Partial Types is Decidable , 1992, ESOP.
[2] Jeffrey D. Ullman,et al. Introduction to Automata Theory, Languages and Computation , 1979 .
[3] Jens Palsberg,et al. Efficient inference of partial types , 1992, Proceedings., 33rd Annual Symposium on Foundations of Computer Science.
[4] Luca Cardelli,et al. Typeful Programming , 1989, Formal Description of Programming Concepts.
[5] Satish R. Thatte,et al. Type Inference with Partial Types , 1988, Theor. Comput. Sci..
[6] Bernard Robinet,et al. Combinators and Functional Programming Languages , 1986 .
[7] Luca Cardelli,et al. On understanding types, data abstraction, and polymorphism , 1985, CSUR.
[8] Luca Cardelli,et al. Subtyping recursive types , 1991, POPL '91.