An Effectful Object Calculus
No abstract available.
Related papers
- ιDOT: a DOT calculus with object initialization OOPSLA 2020
- A Confluent Reduction for the lambda-Calculus with Surjective Pairing and Terminal Object JFP 1996
- Equivalence in Functional Languages with Effects JFP 1991
- Stratified operational semantics for safety and correctness of the region calculus POPL 2001
- An Object Calculus for Asynchronous Communication ECOOP 1991
- An Interoperable Calculus for External Object Access APLAS 2002
- A Timed Calculus for Distributed Objects with Clocks ECOOP 1993
- An Imperative, First-Order Calculus with Object Extension ECOOP 1998