@article{scp, title = "Type-directed weaving of aspects for polymorphically typed functional languages", author = "Kung Chen and Shu-Chun Weng and Meng Wang and Siau-Cheng Khoo and Chung-Hsin Chen", year = "2010", booktitle = "Science of Computer Programming", journal = "Science of Computer Programming", pages = "1048-1076", publisher = "Elsevier", volume = "75", }