Fully abstract compositional semantics for logic programs
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Observable sequentiality and full abstraction
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
On the type structure of standard ML
ACM Transactions on Programming Languages and Systems (TOPLAS)
Types and full abstraction for polyadic π-calculus
Information and Computation
Types and full abstraction for polyadic π-calculus
Information and Computation
WHY DENOTATIONAL?: Remarks on Applied Denotational Semantics
Fundamenta Informaticae
Hi-index | 0.00 |