On proving syntactic properties of CPS programs (1999)

Cached

Download Links

by Belmina Dzafic , Olivier Danvy , Olivier Danvy , Belmina Dza C , Frank Pfenning , Frank Pfenning
Citations:22 - 8 self