"Proceedings of TLDI'05: 2005 ACM SIGPLAN International Workshop on Types ..."

J. Gregory Morrisett, Manuel Fähndrich (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics