A Calculus of Untyped Aspect-Oriented Programs
No abstract available.
Related papers
- A Partial Evaluator for the Untyped lambda-Calculus JFP 1991
- Transitioning from structural to nominal code with efficient gradual typing OOPSLA 2021
- An object-oriented calculus with term constraints JFP 2007
- A Self-Applicable Partial Evaluator for the Lambda Calculus: Correctness and Pragmatics TOPLAS 1992
- A calculus of module systems JFP 2002
- A theory of aspects ICFP 2003
- Compilation and Equivalence of Imperative Objects JFP 1999
- An Aristotelian understanding of object-oriented programming OOPSLA 2000