Type-directed weaving of aspects for higher-order functional languages.

Meng Wang, Kung Chen, Siau-Cheng Khoo

Browse the full PEPM paper archive.