Objects, interference, and the Yoneda embedding

Authors:
Peter W. O'Hearn;Uday S. Reddy
Affiliations:
Syracuse Univ., Syracuse, NY;Univ. of Illinois at Urbana-Champaign, Urbana
Venue:
Theoretical Computer Science - Special issue on mathematical foundations of programming semantics
Year:
1999

From Algol to polymorphic linear lambda-calculus

Journal of the ACM (JACM)
Resource Interpretations, Bunched Implications and the alpha lambda-Calculus

TLCA '99 Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications
On bunched typing

Journal of Functional Programming
An automata-theoretic model of idealized algol

ICALP'12 Proceedings of the 39th international colloquium conference on Automata, Languages, and Programming - Volume Part II
Automata-Theoretic Semantics of Idealized Algol with Passive Expressions

Electronic Notes in Theoretical Computer Science (ENTCS)

Hi-index	0.00