The Theory of Classification, Part 3: Object Encoding and Recursion
暂无分享,去创建一个
[1] Andreas Rausch,et al. Journal of Object Technology , 2002 .
[2] William R. Cook,et al. Object-Oriented Programming Versus Abstract Data Types , 1990, REX Workshop.
[3] Anthony J. H. Simons,et al. The Theory of Classification, Part 1: Perspectives on Type Compatibility , 2002, J. Object Technol..
[4] John C. Reynolds. User-defined types and procedural data structures as complementary approaches to data abstraction , 1994 .
[5] Anthony J. H. Simons. The Theory of Classification, Part 2: The Scratch-Built Typechecker , 2002, J. Object Technol..
[6] Luca Cardelli,et al. On understanding types, data abstraction, and polymorphism , 1985, CSUR.
[7] Martín Abadi,et al. A Theory of Objects , 1996, Monographs in Computer Science.
[8] WegnerPeter,et al. On understanding types, data abstraction, and polymorphism , 1985 .
[9] Alonzo Church,et al. A formulation of the simple theory of types , 1940, Journal of Symbolic Logic.