Kung Chen Shu-Chun Weng Meng Wang Siau-Cheng Khoo Chung-Hsin Chen A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages. 34-51 2007 conf/sas/2007 SAS http://dx.doi.org/10.1007/978-3-540-74061-2_3 db/conf/sas/sas2007.html#ChenWWKC07