Results 1 -
1 of
1
Abstraction preservation and subtyping in distributed languages
- In Proc. ICFP
, 2006
"... 1. Introduction 1.1 Background and motivation Abstract types are a powerful feature of modern programminglanguages. They arise when the implementation of a collection of types and accompanying functions, often called a module, ispartly hidden by an interface. The creation and manipulation of an abst ..."
Abstract
-
Cited by 8 (2 self)
- Add to MetaCart
1. Introduction 1.1 Background and motivation Abstract types are a powerful feature of modern programminglanguages. They arise when the implementation of a collection of types and accompanying functions, often called a module, ispartly hidden by an interface. The creation and manipulation of an abstract data type are then constrained by the functions declared inits interface.
