Free theorems in the presence of seq (2004)

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