@inproceedings{1509839,
author = {Chadwick, Bryan and Lieberherr, Karl},
title = {A type system for functional traversal-based aspects},
booktitle = {FOAL '09: Proceedings of the 2009 workshop on Foundations of aspect-oriented languages},
year = {2009},
isbn = {978-1-60558-452-2},
pages = {1--6},
location = {Charlottesville, Virginia, USA},
doi = {http://doi.acm.org/10.1145/1509837.1509839},
publisher = {ACM},
address = {New York, NY, USA},
}

Paper