Introducing aspect orientation to a polymorphically typed functional language strengthens the importance of type-scoped advices; i.e., advices with their effects being harnessed by type constraints....
A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages (2008)
Kung Chen, Shu-chun Weng, Siau-cheng Khoo, Chung-hsin Chen
Abstract. Introducing aspect orientation to a polymorphically typed functional language strengthens the importance of type-scoped advices; i.e., advices with their effects harnessed by type...