Applied Type System, 2005. Available at: http://www.cs.bu.edu/~hwxi/ATS (2003)

by H Xi
Venue:Proceedings of the 30th ACM SIG-PLAN Symposium on Principles of Programming Languages, ACM