A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages
No abstract available.
Related papers
- Aspectual Caml: an aspect-oriented functional language ICFP 2005
- AspectML: A polymorphic aspect-oriented functional programming language TOPLAS 2008
- PolyAML: a polymorphic aspect-oriented functional programming language ICFP 2005
- Type Inference with Subtypes POPL 1988
- A Compilation and Optimization Model for Aspect-Oriented Programs CC 2003
- Model Compiler Construction Based on Aspect-Oriented Mechanisms GPCE 2005
- Polymorphic Unification and ML Typing POPL 1989
- A dynamic aspect-oriented system for OS kernels GPCE 2006