Free theorems in the presence of seq (2004)

by P Johann, J Voigtländer
Venue:31st Symposium on Principles of Programming Languages