Operations on records
暂无分享,去创建一个
[1] Luca Cardelli,et al. Modula-3 Report (revised) , 1992 .
[2] Mitchell Wand,et al. Type inference for record concatenation and multiple inheritance , 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.
[3] Mitchell Wand,et al. Complete Type Inference for Simple Objects , 1987, LICS.
[4] Didier Rémy,et al. Type checking records and variants in a natural extension of ML , 1989, POPL '89.
[5] Thierry Coquand,et al. Inheritance and explicit coercion , 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.
[6] Luca Cardelli,et al. On understanding types, data abstraction, and polymorphism , 1985, CSUR.
[7] Bjarne Stroustrup,et al. C++ Programming Language , 1986, IEEE Softw..
[8] John C. Mitchell,et al. The Semantics of Second-Order Lambda Calculus , 1990, Inf. Comput..
[9] Luca Cardelli,et al. A Semantics of Multiple Inheritance , 1984, Information and Computation.
[10] Peter Buneman,et al. Type inference in a database programming language , 1988, LISP and Functional Programming.
[11] John C. Mitchell,et al. Coercion and type inference , 1984, POPL.
[12] Kim B. Bruce,et al. A modest model of records, inheritance and bounded quantification , 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.
[13] J. Girard. Une Extension De ĽInterpretation De Gödel a ĽAnalyse, Et Son Application a ĽElimination Des Coupures Dans ĽAnalyse Et La Theorie Des Types , 1971 .
[14] Robin Milner,et al. A Theory of Type Polymorphism in Programming , 1978, J. Comput. Syst. Sci..
[15] Peter Buneman,et al. Database programming in Machiavelli—a polymorphic language with static type inference , 1989, SIGMOD '89.
[16] John C. Mitchell,et al. ML with extended pattern matching and subtypes , 1988, LISP and Functional Programming.
[17] Giorgio Ghelli,et al. Coherence of Subsumption, Minimum Typing and Type-Checking in F<= , 1992, Math. Struct. Comput. Sci..
[18] 簡聰富,et al. 物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .
[19] Kristen Nygaard,et al. SIMULA: an ALGOL-based simulation language , 1966, CACM.
[20] John C. Mitchell. A type-inference approach to reduction properties and semantics of polymorphic expressions (summary) , 1986, LFP '86.
[21] J. Y. Girard,et al. Interpretation fonctionelle et elimination des coupures dans l'aritmetique d'ordre superieur , 1972 .
[22] Craig Schaffert,et al. An introduction to Trellis/Owl , 1986, OOPSLA 1986.
[23] John C. Reynolds,et al. Towards a theory of type structure , 1974, Symposium on Programming.
[24] John C. Mitchell,et al. Type Systems for Programming Languages , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
[25] Giorgio Ghelli,et al. Coherence of Subsumption , 1990, CAAP.