Meng Wang, Kung Chen, Siau-Cheng Khoo. Type-directed weaving of aspects for higher-order functional languages. In John Hatcliff, Frank Tip, editors, Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006, Charleston, South Carolina, USA, January 9-10, 2006. pages 78-87, ACM, 2006. [doi]
Abstract is missing.