摘要:
springer.com
springerlink.com
acm.org 参考文章(37)
Daniel Leivant, Stratified Polymorphism (Extended Summary) logic in computer science. pp. 39- 47 ,(1989)
Mitchell Wand, Complete Type Inference for Simple Objects logic in computer science. pp. 37- 44 ,(1987)
Andrew Novobilski, Brad J. Cox, Object-oriented programming ; an evolutionary approach ,(1986)
John C. Reynolds, Towards a theory of type structure Programming Symposium, Proceedings Colloque sur la Programmation. pp. 408- 423 ,(1974) , 10.1007/3-540-06859-7_148
You-Chin Fuh, Prateek Mishra, Type inference with subtypes european symposium on programming. ,vol. 73, pp. 155- 175 ,(1990) , 10.1016/0304-3975(90)90144-7
A.J. Kfoury, J. Tiuryn, P. Urzyczyn, Computational consequences and partial solutions of a generalized unification problem logic in computer science. pp. 98- 105 ,(1989) , 10.1109/LICS.1989.39163
Mitchell Wand, Patrick O'Keefe, On the complexity of type inference with coercion Proceedings of the fourth international conference on Functional programming languages and computer architecture - FPCA '89. pp. 293- 298 ,(1989) , 10.1145/99370.99394
Lalita Jategaonkar, John Mitchell, ML with extended pattern matching and subtypes international conference on functional programming. pp. 198- 211 ,(1988) , 10.1145/62678.62702
John C. Mitchell, Coercion and type inference symposium on principles of programming languages. pp. 175- 185 ,(1984) , 10.1145/800017.800529
Cynthia Dwork, Paris C. Kanellakis, John C. Mitchell, On the sequential nature of unification Journal of Logic Programming. ,vol. 1, pp. 35- 50 ,(1984) , 10.1016/0743-1066(84)90022-0