"Proceedings of TLDI'07: 2007 ACM SIGPLAN International Workshop on Types ..."

François Pottier, George C. Necula (2007)

Details and statistics

DOI:

access: closed

type: Editorship

metadata version: 2012-05-22

a service of  Schloss Dagstuhl - Leibniz Center for Informatics