A Simple and General Theoretical Account for Abstract Types

  • Hongwei Xi
Conference paper

DOI: 10.1007/978-3-642-10452-7_23

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5902)
Cite this paper as:
Xi H. (2009) A Simple and General Theoretical Account for Abstract Types. In: Oliveira M.V.M., Woodcock J. (eds) Formal Methods: Foundations and Applications. SBMF 2009. Lecture Notes in Computer Science, vol 5902. Springer, Berlin, Heidelberg

Abstract

A common approach to hiding implementation details is through the use of abstract types. In this paper, we present a simple theoretical account of abstract types that make use of a recently developed notion of conditional type equality. This is in contrast to most of the existing theoretical accounts of abstract types, which rely on existential types (or similar variants). In addition, we show that this new approach to abstract types opens a promising avenue to the design and implementation of module systems that can effectively support large-scale programming.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Hongwei Xi
    • 1
  1. 1.Boston University 

Personalised recommendations