%0 Conference Proceedings
%F gpw2010
%A Greenberg, Michael
%A Pierce, Benjamin C.
%A Weirich, Stephanie
%T Contracts made manifest
%B POPL '10: Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
%P 353-364
%I ACM
%C New York, NY, USA
%U http://www.diku.dk/hjemmesider/ansatte/henglein/papers/greenberg2010.pdf
%U http://doi.acm.org/10.1145/1706299.1706341
%D 2010
%K dyntyp