MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "The Napier Type System." – 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

The Napier Type System
by R. Morrison, A.L. Brown, R. Carrick, R.C.H. Connor, A. Dearle, M.P. Atkinson — 1989
… proposed in ML [20,21], is a desirable property in programming languages. In Napier, some type inferencing…
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
….C.H., Dearle, A. & Atkinson, M.P. "The Napier Type System". 3rd International Workshop on Persistent Object…
Cited by 52 (9 self) – Add To MetaCart

Adaptive Data Stores
by R. Morrison, A. Dearle, C. D. Marlin, North Haugh, Fife Ky Ss — 1988 — Proc. AI'88 Conference
….I. application. We will now introduce the Napier type system [13], which provides for both static and dynamic…
Cited by 1 (0 self) – Add To MetaCart

Bindings in Persistent Programming Languages
by R. Morrison, M.P. Atkinson, A.L. Brown, A. Dearle — 1988
… of the universe of discourse of the language. The Napier type system is loosely based on one suggested by Cardelli…
Cited by 7 (0 self) – Add To MetaCart

Showing 1 through 4.

ATOM

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