Extended Domain Types and Specification of User Defined Operators

Eugene Wong

EECS Department, University of California, Berkeley

Technical Report No. UCB/ERL M85/3

1985

This publication is archived. It is kept only for reference purposes, so it is no longer being updated and may not meet accessibility standards. If you need this content in a different format, please email webteam@eecs.berkeley.edu.

http://www2.eecs.berkeley.edu/Pubs/TechRpts/1985/Archive/ERL-85-3.pdf

BibTeX citation:

@techreport{Wong:M85/3,
    Author= {Wong, Eugene},
    Title= {Extended Domain Types and Specification of User Defined Operators},
    Year= {1985},
    Month= {Feb},
    Url= {http://www2.eecs.berkeley.edu/Pubs/TechRpts/1985/446.html},
    Number= {UCB/ERL M85/3},
}

EndNote citation:

%0 Report
%A Wong, Eugene 
%T Extended Domain Types and Specification of User Defined Operators
%I EECS Department, University of California, Berkeley
%D 1985
%@ UCB/ERL M85/3
%U http://www2.eecs.berkeley.edu/Pubs/TechRpts/1985/446.html
%F Wong:M85/3