Bisimilarity for a first-order calculus of objects with subtyping
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A domain-theoretic semantics of lax generic functions
Theoretical Computer Science - Category theory and computer science
Relating operational and denotational semantics for input/output effects
Mathematical Structures in Computer Science
Mathematical Structures in Computer Science
A computationally adequate model for overloading via domain-valued functors
Mathematical Structures in Computer Science
Classical logic, continuation semantics and abstract machines
Journal of Functional Programming
On the relations between monadic semantics
Theoretical Computer Science
Some Domain Theory and Denotational Semantics in Coq
TPHOLs '09 Proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics
Productive coprogramming with guarded recursion
Proceedings of the 18th ACM SIGPLAN international conference on Functional programming
Hi-index | 0.00 |