Free theorems in the presence of seq (0)

by P Johann, J Voigtlaender
Venue:Proceedings, Conference on Principles of Programming Languages. POPL 2004. doi:10.1145/964001.964010