Overloading and Inheritance
暂无分享,去创建一个
[1] Eric G. Wagner. Semantics of Block Structured Languages with Pointers , 1987, MFPS.
[2] David Robson,et al. Smalltalk-80: The Language and Its Implementation , 1983 .
[3] Eric G. Wagner. Categorical Semantics, Or Extending Data Types to Include Memory , 1984, ADT.
[4] 簡聰富,et al. 物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .
[5] David A. Wolfram,et al. On Types and FOOPS , 1990, DS-4.
[6] Eric G. Wagner,et al. An Algebraically Specified Language for Data Directed Design , 1989, Theor. Comput. Sci..
[7] Luca Cardelli,et al. On understanding types, data abstraction, and polymorphism , 1985, CSUR.
[8] Bjarne Stroustrup,et al. C++ Programming Language , 1986, IEEE Softw..
[9] Eric G. Wagner. All recursive types defined using products and sums can be implemented using pointers , 1988, Algebraic Logic and Universal Algebra in Computer Science.
[10] Eric G. Wagner. Generic Classes in an Object-Based Language , 1991, COMPASS/ADT.
[11] Eric G. Wagner. Generic Types in a Language for Data Directed Design , 1990, ADT.
[12] Eric G. Wagner. On Declarations , 1988, Categorial Methods in Computer Science.
[13] John C. Mitchell. Toward a typed foundation for method specialization and inheritance , 1989, POPL '90.
[14] Giuseppe Castagna,et al. A calculus for overloaded functions with subtyping , 1992, LFP '92.