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

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