Polymorphism and subtyping in interface
- 1 August 1994
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 29 (8) , 22-34
- https://doi.org/10.1145/185087.185098
Abstract
RAPIDE is a programming language framework designed for the development of large, concurrent, real-time systems by prototyping. The framework consists of a type language and default executable, specification and architecture languages, along with associated programming tools. Interfaces are the central construct of the type system. This document describes RAPIDE interfaces, their expressiveness and their use as a typing construct.This publication has 9 references indexed in Scilit:
- A type-theoretic approach to higher-order modules with sharingPublished by Association for Computing Machinery (ACM) ,1994
- A type system for prototyping languagesPublished by Association for Computing Machinery (ACM) ,1994
- Manifest types, modules, and separate compilationPublished by Association for Computing Machinery (ACM) ,1994
- Interfaces and specifications for the Smalltalk-80 collection classesPublished by Association for Computing Machinery (ACM) ,1992
- An extension of standard ML modules with subtyping and inheritancePublished by Association for Computing Machinery (ACM) ,1991
- Two-dimensional pinpointing: debugging with formal specificationsIEEE Software, 1991
- A new approach to prototyping Ada-based hardware/software systemsPublished by Association for Computing Machinery (ACM) ,1990
- Encapsulation and inheritance in object-oriented programming languagesPublished by Association for Computing Machinery (ACM) ,1986
- Using dependent types to express modular structurePublished by Association for Computing Machinery (ACM) ,1986