Type−directed weaving of aspects for polymorphically typed functional languages
Kung Chen‚ Shu−Chun Weng‚ Meng Wang‚ Siau−Cheng Khoo and Chung−Hsin Chen
Book Title
Science of Computer Programming
Journal
Science of Computer Programming
Pages
1048−1076
Publisher
Elsevier
Volume
75
Year
2010