A type-inference approach to reduction properties and semantics of polymorphic expressions (summary)
暂无分享,去创建一个
[1] Kim B. Bruce,et al. The Semantics of Second Order Polymorphic Lambda Calculus , 1984, Semantics of Data Types.
[2] Dana S. Scott,et al. Data Types as Lattices , 1976, SIAM J. Comput..
[3] Ravi Sethi,et al. A semantic model of types for applicative languages , 1982, LFP '82.
[4] Daniel Leivant,et al. Typing and convergence in the lambda calculus , 1984 .
[5] J. Y. Girard,et al. Interpretation fonctionelle et elimination des coupures dans l'aritmetique d'ordre superieur , 1972 .
[6] Mario Coppo,et al. Type inference and logical relations , 1986, LICS.
[7] John C. Mitchell,et al. Semantic Models for Second-Order Lambda Calculus , 1984, FOCS.
[8] Richard Statman,et al. Logical Relations and the Typed lambda-Calculus , 1985, Inf. Control..
[9] John C. Reynolds,et al. Towards a theory of type structure , 1974, Symposium on Programming.
[10] John C. Shepherdson,et al. Effective operations on partial recursive functions , 1955 .
[11] John Mitchell,et al. Type Inference and Type Containment , 1984, Semantics of Data Types.
[12] Gordon D. Plotkin,et al. An ideal model for recursive polymorphic types , 1984, Inf. Control..
[13] Michael Beeson,et al. Recursive models for constructive set theories , 1982, Ann. Math. Log..
[14] J. Roger Hindley,et al. The Completeness Theorem for Typing lambda-Terms , 1983, Theor. Comput. Sci..
[15] Henk Barendregt,et al. The Lambda Calculus: Its Syntax and Semantics , 1985 .
[16] Daniel Leivant,et al. Polymorphic type inference , 1983, POPL '83.
[17] Albert R. Meyer,et al. What is a Model of the Lambda Calculus? , 1982, Inf. Control..
[18] G. Longo,et al. Lambda-Calculus Models and Extensionality , 1980, Math. Log. Q..
[19] A. Troelstra. Metamathematical investigation of intuitionistic arithmetic and analysis , 1973 .
[20] D. Dalen. Review: Georg Kreisel, Godel's Intepretation of Heyting's Arithmetic; G. Kreisel, Relations Between Classes of Constructive Functionals; Georg Kreisel, A. Heyting, Interpretation of Analysis by Means of Constructive Functionals of Finite Types , 1971 .
[21] Nancy McCracken,et al. The Typechecking of Programs with Implicit Type Structure , 1984, Semantics of Data Types.
[22] Daniel Leivant,et al. The Expressiveness of Simple and Second-Order Type Structures , 1983, JACM.