Aspectual Caml: an aspect-oriented functional language. - Hidehiko Masuhara; Hideaki Tatsuzawa; Akinori Yonezawa (ICFP, 2005)