Jens Palsberg. Featherweight X10: a core calculus for async-finish parallelism. In Wei-Ngan Chin, Aquinas Hobor, editors, Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs, FTfJP 2012, Beijing, China, June 12, 2012. pages 1, ACM, 2012. [doi]
Abstract is missing.