Edward Y.-B. Wang

EECS Department, University of California, Berkeley

1994

Advisors: Paul N. Hilfinger

---

BibTeX citation:

@phdthesis{Wang:7904,
    Author= {Wang, Edward Y.-B.},
    Title= {Analysis of Recursive Types in an Imperative Language},
    School= {EECS Department, University of California, Berkeley},
    Year= {1994},
}

EndNote citation:

%0 Thesis
%A Wang, Edward Y.-B. 
%T Analysis of Recursive Types in an Imperative Language
%I EECS Department, University of California, Berkeley
%D 1994
%F Wang:7904