MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "A Theory of Primitive Objects Second-Order Systems." – sorted by Relevance.

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

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

3 documents found, showing 1 through 3.

ATOM

A Theory of Primitive Objects - Second-Order Systems
by Martín Abadi, Luca Cardelli — In Proc. ESOP'94, European Symposium on Programming
…June 9, 1995 6:56 PM Page 1 A Theory of Primitive Objects Second-Order Systems Martn Abadi…
Cited by 53 (6 self) – Add To MetaCart

Implementing a Typed Object Calculus
by Rupert Smith, Rupert Smith — 1985 — Precise Interrupts in Pipelined Processors", in ISCA-12
… implemented. I studied the object calculus presented in "A Theory of Primitive Objects: Second-Order Systems…
Add To MetaCart

ECONOMIC THOUGHT AND POLITICAL THEORY ECONOMIC THOUGHT AND POLITICAL THEORY This is the Subtitle
by Edited By David, David Reisman, Kluwer Academic Publishers
…. Cardelli. A theory of primitive objects: Second-order systems. Science of Computer Programming, 25…
Add To MetaCart

Showing 1 through 3.

ATOM

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