11 search results - page 1 / 3 » Type-directed weaving of aspects for polymorphically typed f... |
SCP
2010
13 years 5 months ago
2010
SAS
2007
Springer
14 years 1 months ago
2007
Springer
Introducing aspect orientation to a polymorphically typed functional language strengthens the importance of type-scoped advices; i.e., advices with their effects being harnessed b...
ICFP
1999
ACM
13 years 11 months ago
1999
ACM
This paper defines an extended polymorphic type system for an ML-style programming language, and develops a sound and complete type inference algorithm. Different from the conve...
TIC
1998
Springer
13 years 11 months ago
1998
Springer
Suppose we translate two different source languages,
SEFM
2007
IEEE
14 years 1 months ago
2007
IEEE
This paper presents an implicitly-typed functional, aspect-oriented programming language: λ AOP. The main contribution of the paper is a semantics for λ AOP advice weaving. The ...