Syntactic type abstraction


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


2 Figures and Tables


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} }