The Impact of seq on Free Theorems-Based Program Transformations (2006)

by Patricia Johann , Janis Voigtländer
Venue:Fundamenta Informaticae
Citations:13 - 5 self