The impact of seq on free theorems-based program transformations (0)

by Patricia Johann, Janis Voigtländer
Venue:Fundamenta Informaticae