MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Type Theories and Object-Oriented Programming." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

Type Theories and Object-Oriented Programming
by Scott Danforth, Chris Tomlinson — 1988 — ACM Computing Surveys
…Type Theories and Object-Oriented Programming SCOTT DANFORTH and CHRIS TOMLINSON Systems…
Cited by 48 (0 self) – Add To MetaCart

The Impact of Distribution on Object-Oriented. . .
by Gordon S. Blair, Schaffert Schaffert, T. Cooper, B. Bullis, M. Kilian, C. Wilpolt, An Introduction — 1992
….G. Olthoff, "Interfaces for Strongly-Typed Object-Oriented Programming", Proceedings of OOPSLA '89, Pages…
Add To MetaCart

Implementation of an Imperative Object Calculus
by Computer Science Tripos, Fiona Morgan, Name Fiona Morgan, Dr. A. D. Gordon, Dr. A. D. Gordon
… in which to study the semantics and type theory of object-oriented programming. The aim of this project…
Add To MetaCart

Preprint version. A Pattern for Almost Compositional Functions
by unknown authors
… at hand. Finally, we discuss some related work in generic program-ming, type theory and object-oriented…
Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB