Dynamic Typing: Syntax and Proof Theory
暂无分享,去创建一个
[1] Harry G. Mairson,et al. The Complexity of Type Inference for Higher-Order Typed lambda Calculi , 1994, J. Funct. Program..
[2] Satish R. Thatte,et al. Type Inference with Partial Types , 1988, Theor. Comput. Sci..
[3] Mitchell Wand,et al. Type Inference for Partial Types is Decidable , 1992, ESOP.
[4] Robert Cartwright,et al. Soft typing , 2004, SIGP.
[5] Gerard Huet,et al. Conflunt reductions: Abstract properties and applications to term rewriting systems , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).
[6] Jens Palsberg,et al. Efficient inference of partial types , 1992, Proceedings., 33rd Annual Symposium on Foundations of Computer Science.
[7] Fritz Henglein,et al. Global tagging optimization by type inference , 1992, LFP '92.
[8] Satish R. Thatte. Quasi-static typing , 1989, POPL '90.
[9] Martín Abadi,et al. Dynamic typing in a statically-typed language , 1989, POPL '89.
[10] Didier Rémy,et al. Type checking records and variants in a natural extension of ML , 1989, POPL '89.
[11] Gérard P. Huet,et al. Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems , 1980, J. ACM.
[12] Carsten K. Gomard. Partial type inference for untyped functional programs , 1990, LISP and Functional Programming.
[13] Fritz Henglein. Dynamic Typing , 1992, ESOP.
[14] Thierry Coquand,et al. Inheritance and explicit coercion , 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.
[15] Xavier Leroy,et al. Dynamics in ML , 1991, Journal of Functional Programming.
[16] Giorgio Ghelli,et al. Coherence of Subsumption , 1990, CAAP.
[17] HuetGérard. Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems , 1980 .
[18] Martín Abadi,et al. Dynamic typing in polymorphic languages , 1995, Journal of Functional Programming.
[19] Thierry Coquand,et al. Inheritance as Implicit Coercion , 1991, Inf. Comput..
[20] Harry G. Mairson,et al. The complexity of type inference for higher-order lambda calculi , 1991, POPL '91.