Computing Publications

Publications Home » Cheaper reasoning with ownership types

Cheaper reasoning with ownership types

Matthew Smith, Sophia Drossopoulou

Conference or Workshop Paper
IWACO 2003 - Workshop affilicated to ECOOP 2003
July, 2003
Keywords
SLURP
PDF of full publication (214 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
N.B.
Conditions for downloading publications from this site.
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.