MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Abstract Types Have Existential Type." – sorted by Relevance.

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

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

6 documents found, showing 1 through 6.

ATOM

Science, vol 322, Springer - Verlag, pp. 55 - 77, 1988.
by Atkinson Bailey Chisholm, P. "on Underst, Ing Types, Data Abstraction — 19
… and System Sciences, vol 17, pp. 348 - 375, 1978. 18. Mitchell, J. C. and Plotkin, G. D. "Abstract Types have…
Add To MetaCart

Mechanisms for Controlling Evolutions in Persistent Object Systems
by R. Morrison, R.C.H. Connor, Q.I. Cuiis, G. Kirby, D. Stemple, Mdc Morrison, Mh Mccune, Mi Milner R, Mor Morrison R, Str Strachey C — 1993
…, Melbourne (1992). Invited Talk. [MP88] Mitchell, J.C. & Plotkin, G.D. "Abstract Types have Existential type…
Cited by 7 (5 self) – Add To MetaCart

Inheritance as an Incremental Modeification Mechanism of What Like is and Isn't Like
by P Wegner, S. B. Zdonik, P. "on Underst, Ing Types, Data Abstraction — 1988
… and System Sciences, vol 17, pp. 348 - 375, 1978. 18. Mitchell, J. C. and Plotkin, G. D. "Abstract Types have…
Add To MetaCart

The Napier Type System
by R. Morrison, A.L. Brown, R. Carrick, R.C.H. Connor, A. Dearle, M.P. Atkinson — 1989
….C. & Plotkin, G.D "Abstract types have existential type". Proc POPL 1985. 23. Morrison, R. "S-algol Reference…
Cited by 14 (4 self) – Add To MetaCart

An Ad-Hoc Approach to the Implementation of Polymorphism
by R. Morrison, A. Dearle, R.C.H. Connor, A.L. Brown — 1991
…] Mitchell, J.C. & Plotkin, G.D "Abstract types have existential type". 12th ACM Symposium on Principles…
Cited by 52 (9 self) – Add To MetaCart

Logic Column 6
by Column Editor Jon, Jon G. Riecke, Peter W. O'hearn
… have existential type" Mitchell and Plotkin proposed a different encoding of ADT's [19]. A value…
Add To MetaCart

Showing 1 through 6.

ATOM

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