Wesley Phoa

According to our database, Wesley Phoa authored at least 7 papers between 1990 and 1994.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1994

From Term Models to Domains

Wesley Phoa

Inf. Comput., 1994

Categorical Models of Relational Databases I: Fibrational Formulation, Schema Integration.

Amitavo Islam, Wesley Phoa

Proceedings of the Theoretical Aspects of Computer Software, 1994

1993

Adequacy for untyped translations of typed lambda-calculi

Wesley Phoa

Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), 1993

1992

Building Domains from Graph Models.

Wesley Phoa

Math. Struct. Comput. Sci., 1992

A Proposed Categorial Semantics for Pure ML.

Wesley Phoa, Michael P. Fourman

Proceedings of the Automata, Languages and Programming, 19th International Colloquium, 1992

1991

Two Results on Set-Theoretic Polymorphism.

Wesley Phoa

Proceedings of the Category Theory and Computer Science, 1991

1990

Effective Domains and Intrinsic Structure

Wesley Phoa

Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), 1990