Ecien t Recursive Subtyping
暂无分享,去创建一个
[1] Bernard Robinet,et al. Combinators and Functional Programming Languages , 1986 .
[2] Jeffrey D. Ullman,et al. Introduction to Automata Theory, Languages and Computation , 1979 .
[3] Luca Cardelli,et al. On understanding types, data abstraction, and polymorphism , 1985, CSUR.
[4] Mitchell Wand,et al. Type Inference for Partial Types is Decidable , 1992, ESOP.
[5] Luca Cardelli,et al. Subtyping recursive types , 1993 .
[6] D. Kozen,et al. Ecien t Inference of Partial Types , 1994 .
[7] B. Courcelle. Fundamental properties of infinite trees , 1983 .
[8] Satish R. Thatte,et al. Type Inference with Partial Types , 1988, Theor. Comput. Sci..