Program Logics for Sequential Higher-Order Control (2010)

by M Berger
Venue:In Proceedings of the Third IPM International Conference, FSEN 2009