%0 Conference Proceedings
%F jovo2004
%A Johann, Patricia
%A Voigtl\"ander, Janis
%T Free Theorems in the Presence of seq
%B Proceedings 31st Symposium on Principles of Programming Languages (POPL), Venice, Italy
%I ACM Press
%U http://www.diku.dk/hjemmesider/ansatte/henglein/papers/johann2004.pdf
%D 2004
%K parametricity