Wesley Phoa

Publication Activity (10 Years)

Years Active: 1990-1994
Publications (10 Years): 0

Publications

Wesley Phoa
From Term Models to Domains Inf. Comput. 109 (1/2) (1994)
Amitavo Islam, Wesley Phoa
Categorical Models of Relational Databases I: Fibrational Formulation, Schema Integration. TACS (1994)
Wesley Phoa
Adequacy for untyped translations of typed lambda-calculi LICS (1993)
Wesley Phoa, Michael P. Fourman
A Proposed Categorial Semantics for Pure ML. ICALP (1992)
Wesley Phoa
Building Domains from Graph Models. Math. Struct. Comput. Sci. 2 (3) (1992)
Wesley Phoa
Two Results on Set-Theoretic Polymorphism. Category Theory and Computer Science (1991)
Wesley Phoa
From Term Models to Domains. TACS (1991)
Wesley Phoa
Effective Domains and Intrinsic Structure LICS (1990)