%0 Conference Proceedings
%F hutchins2010
%A Hutchins, DeLesley S.
%T Pure subtype systems
%B POPL '10: Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
%P 287-298
%I ACM
%C New York, NY, USA
%U http://www.diku.dk/hjemmesider/ansatte/henglein/papers/hutchins2010.pdf
%U http://doi.acm.org/10.1145/1706299.1706334
%D 2010
%K typetheory