Abstract semantics for a higher-order functional language with logic variables

Logic programming: functions, relations, and equations

Logic programming: functions, relations, and equations

Efficient implementation of lattice operations

ACM Transactions on Programming Languages and Systems (TOPLAS)

I-structures: data structures for parallel computing

ACM Transactions on Programming Languages and Systems (TOPLAS)

A fully abstract semantics for a functional language with logic variables

Proceedings of the Fourth Annual Symposium on Logic in computer science

The semantic foundations of concurrent constraint programming

POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Functional programing and the logical variable

POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages

A lattice theoretic approach to computation based on a calculus of partially ordered type structures (property inheritance, semantic nets, graph unification)

A lattice theoretic approach to computation based on a calculus of partially ordered type structures (property inheritance, semantic nets, graph unification)