tldi'11 proceedings of the 7th acm sigplan workshop on types in language in design and implementation (en Inglés)

· acm press