Abstract type

Known as: ABC, Abstract base class, Abstract 
In programming languages, an abstract type is a type in a nominative type system that cannot be instantiated directly. Abstract types are also known… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2006
Highly Cited
2006
An abstract type groups variables that are used for related purposes in a program. We describe a dynamic unification-based… (More)
  • figure 2
  • figure 3
  • figure 4
  • figure 5
  • figure 7
Is this relevant?
Highly Cited
2006
Highly Cited
2006
Concurrent programming is indispensable. On the one hand, distributed and mobile environments naturally involve concurrency. On… (More)
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2003
Highly Cited
2003
We design and study νObj, a calculus and dependent type system for objects and classes which can have types as members. Type… (More)
  • figure 1
  • figure 2
Is this relevant?
2001
2001
In a wide-area distributed system it is often impractical to synchronise software updates, so one must deal with many coexisting… (More)
  • figure 1
  • figure 4
Is this relevant?
Highly Cited
1999
Highly Cited
1999
Linking is a low-level task that is usually vaguely specified, if at all, by language definitions. However, the security of web… (More)
  • figure 1
  • figure 2
  • figure 5
  • figure 6
  • figure 7
Is this relevant?
Highly Cited
1995
Highly Cited
1995
Traditional techniques for implementing polymorphism use a universal representation for objects of unknown type. Often, this… (More)
Is this relevant?
Highly Cited
1993
Highly Cited
1993
ions are easier to understand than implementations, so combining abstractions is less work. Relying only on properties of the… (More)
Is this relevant?
Highly Cited
1988
Highly Cited
1988
types We have used the term abstract type for types of the form P = Some(A:Type) B, because this models the concept of having an… (More)
Is this relevant?
1987
1987
Emerald is an object-based language for programming distributed subsystems and applications. Its novel features include 1) a… (More)
  • table I
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
1981
1981
In this paper we argue the importance of a finalization capability in a programming language abstract type facility. Finalization… (More)
Is this relevant?