Extended Domain Types and Specification of User Defined Operators

Eugene Wong

EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M85/3
February 1985

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


BibTeX citation:

@techreport{Wong:M85/3,
    Author = {Wong, Eugene},
    Title = {Extended Domain Types and Specification of User Defined Operators},
    Institution = {EECS Department, University of California, Berkeley},
    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