Subtypes and quantification. Reply

Saved in:
Bibliographic Details
Published in:ACM transactions on programming languages and systems 1991, Vol.13 (4), p.631-633
Main Authors: VOLPANO, D. M, BURTON, F. W
Format: Article
Language:English
Subjects:
Applied sciences
Computer science
control theory
systems
Exact sciences and technology
Theoretical computing
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:
ISSN:0164-0925
1558-4593