Continuation Semantics as Horn Clauses.

Qian Wang, Gopal Gupta

Browse the full LOPSTR paper archive.