Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

A Logical View of Composition Mart'in Abadi and Gordon D. Plotkin

Summary: A Logical View of Composition
Mart'in Abadi and Gordon D. Plotkin
May 1, 1992

Gordon D. Plotkin is at the Department of Computer Science of the Uni­
versity of Edinburgh.
A preliminary version of this material appeared in ``A Logical View of Com­
position and Refinement,'' in the proceedings of the Eighteenth Annual ACM
Symposium on Principles of Programming Languages (1991).
flDigital Equipment Corporation 1992
This work may not be copied or reproduced in whole or in part for any com­
mercial purpose. Permission to copy in whole or in part without payment
of fee is granted for nonprofit educational and research purposes provided
that all such whole or partial copies include the following: a notice that
such copying is by permission of the Systems Research Center of Digital
Equipment Corporation in Palo Alto, California; an acknowledgment of the
authors and individual contributors to the work; and all applicable portions
of the copyright notice. Copying, reproducing, or republishing for any other
purpose shall require a license with payment of fee to the Systems Research


Source: Abadi, Martín - Department of Computer Science, University of California at Santa Cruz


Collections: Computer Technologies and Information Sciences