2009 | ||
---|---|---|
3 | EE | Panagiotis Manolios, Aaron Turon: All-Termination(T). TACAS 2009: 398-412 |
2 | EE | Scott Owens, John H. Reppy, Aaron Turon: Regular-expression derivatives re-examined. J. Funct. Program. 19(2): 173-190 (2009) |
2007 | ||
1 | EE | John H. Reppy, Aaron Turon: Metaprogramming with Traits. ECOOP 2007: 373-398 |
1 | Panagiotis Manolios | [3] |
2 | Scott Owens | [2] |
3 | John H. Reppy | [1] [2] |