Syntactic type abstraction

Abstract

Software developers often structure programs in such a way that different pieces of code constitute distinct <italic>principals</italic>. Types help define the protocol by which these principals interact. In particular, <italic>abstract types</italic> allow a principal to make strong assumptions about how well-typed clients use the facilities that it… (More)
DOI: 10.1145/371880.371887

Topics

2 Figures and Tables

Statistics

0510'02'04'06'08'10'12'14'16'18
Citations per Year

66 Citations

Semantic Scholar estimates that this publication has 66 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@article{Grossman2000SyntacticTA, title={Syntactic type abstraction}, author={Dan Grossman and J. Gregory Morrisett and Steve Zdancewic}, journal={ACM Trans. Program. Lang. Syst.}, year={2000}, volume={22}, pages={1037-1080} }