Typing for a minimal aspect language: preliminary report.

Peter Hui James Riely Typing for a minimal aspect language: preliminary report. 15-22 2007 FOAL http://doi.acm.org/10.1145/1233833.1233836 conf/foal/2007 db/conf/foal/foal2007.html#HuiR06