"Proceedings of TLDI 2011: 2011 ACM SIGPLAN International Workshop on Types ..."

Stephanie Weirich, Derek Dreyer (2011)

Details and statistics

DOI:

access: closed

type: Editorship

metadata version: 2012-05-22