The Library

Data types as objects

Tools

Shamir, A. and Wadge, W. W. (1977) Data types as objects. Coventry, UK: Department of Computer Science..

Full text not available from this repository.

Abstract

In this paper we present a new approach to the semantics of data types, in which the types themselves are incorporated as elements of the domain of data objects. The approach allows types to have subtypes, allows genuinely polymorphic functions, and gives a precise semantics for recursive type definitions, including definitions with parameters. In addition' the approach yields simple and straightforward methods for proving type properties of recursive programs.

Item Type: Report
Subjects: Q Science > QA Mathematics > QA75 (Please use QA76 Electronic Computers. Computer Science)
Divisions: Faculty of Science > Computer Science
Publisher: Department of Computer Science
Place of Publication: Coventry, UK
Date: June 1977
Identification Number: CS-RR-020
Institution: University of Warwick
Theses Department: Department of Computer Science
Status: Not Peer Reviewed
Publication Status: Published
Access rights to Published version: Open Access
Related URLs:
URI: http://wrap.warwick.ac.uk/id/eprint/46319

Request changes to a record

Actions (login required)

View Item View Item