Free theorems in the presence of seq

Patricia Johann, Janis Voigtländer. Free theorems in the presence of seq. In Neil D. Jones, Xavier Leroy, editors, Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2004, Venice, Italy, January 14-16, 2004. pages 99-110, ACM, 2004. [doi]

Authors

Patricia Johann

Identified as Patricia Johann

Janis Voigtländer

Identified as Janis Voigtländer
(Technische Universität Dresden
)