A Type System for Smalltalk (1990) [59 citations — 3 self]
Download:
|
|
by Justin O. Graver, Ralph E. Johnson
In Seventeenth Symposium on Principles of Programming Languages
ftp://ftp.cso.uiuc.edu/pub/lang/smalltalk/papers/compilers/popl90.ps
Add To MetaCart
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
@INPROCEEDINGS{Graver90atype,author = {Justin O. Graver and Ralph E. Johnson},
title = {A Type System for Smalltalk},
booktitle = {In Seventeenth Symposium on Principles of Programming Languages},
year = {1990},
pages = {136--150},
publisher = {ACM Press}
}
Years of Citing Articles
Abstract:
This paper describes a type system for Smalltalk that is type-safe, that allows most Smalltalk programs to be type-checked, and that can be used as the basis of an optimizing compiler. 1
