Safe type checking in a statically-typed object-oriented programming language

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 1993, Pages 285-298

  Bruce, Kim B ^a  

^a WILLIAMS COLLEGE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING LANGUAGES; INTERFACES (COMPUTER); TESTING;

F BOUNDED SECOND ORDER LAMBDA CALCULUS; SMALLTALK; TYPED OBJECT ORIENTED PROGRAMMING LANGUAGE (TOOPL);

OBJECT ORIENTED PROGRAMMING;

EID: 0027224413     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/158511.158650     Document Type: Conference Paper

References (33)