Program Logics for Sequential Higher-Order Control

by Martin Berger
Citations:7 - 4 self