Type-Checking Smalltalk

ACM SIGPLAN Notices

Volumn 21, Issue 11, 1986, Pages 315-321

  Johnson, Ralph E ^a  

^a UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84976689871     PISSN: 03621340     EISSN: 15581160     Source Type: Journal    
DOI: 10.1145/960112.28728     Document Type: Article

References (13)

1. S. Baden. High Performance Storage Reclamation in an Object-Based Memory System. Master's thesis, Computer Science Division, Department of E.E.C.S, University of California, Berkeley, Berkeley, CA, June 1982.
2. Andrew Black, Norman Hutchinson, Eric Jul, and Henry Levy. Distribution and Abstract Types in Emerald. Technical Report 85-08-05, Department of Computer Science, University of Washington, Seattle, WA 98195, August 1985.
3. Hans-J. Boehm. Partial polymorphic type inference is undecidable. In 26’th Annual Symposium on Foundations of Computer Science, pages 339 - 345, 1985.
4. A. H. Borning and D. H. H. Ingalls. A type declaration and inference system for Smalltalk. In Conference Record of the Ninth Annual ACM Symposium on Principles of Programming Languages, pages 133–139, 1982.
5. Luca Cardelli. Amber. Unpublished manuscript.
6. Luca Cardelli. A semantics of multiple inheritance. In Semantics of Data Types, Lecture Notes in Computer Science, n. 173, pages 51 –67, Springer-Verlag, 1984.
7. L. Peter Deutsch and Allan M. Schiffman. Efficient implementation of the Smalltalk-80 system. In Conference Record of the Tenth Annual ACM Symposium on Principles of Programming Languages, pages 297–302, 1983.
8. David Kranz, Richard Kelsey, Jonathan Rees, Paul Hudak, James Philbin, and Norman Adams. ORBIT: An Optimizing Compiler for Scheme. Technical Report YALEU/DCS/RR-45, Department of Computer Science, Yale University, Box 2158 Yale Station, New Haven, CT 06520, December 1985.
9. D. B. MacQueen and Ravi Sethi. A semantic model of types for applicative languages. In ACM Symposium of LISP and Functional Programming, pages 243 - 252, 1982.
10. Craig Schaffert, Topher Cooper, and Carrie Wilpolt. Trellis Object-Based Environment: Language Reference Manual. Technical Report 372, Eastern Research Lab, Digital Equipment Corporation, November 85.
11. Norihisa Suzuki. Inferring types in Smalltalk. In Conference Record of the Eighth Annual ACM Symposium on Principles of Programming Languages, pages 187–199, 1981.
12. Norihisa Suzuki and Minoru Terada. Creating efficient systems for object-oriented languages. In Conference Record of the Tenth Annual ACM Symposium on Principles of Programming Languages, pages 290–296, 1983.
13. David Ungar. Generation scavenging: a non-disruptive high performance storage reclamation algorithm. In Proceedings of the ACMSIGSOFT/S1GPLAN Software Engineering Symposium on Practical Software Development Environments, pages 157–167,1985.