Reasoning about Programs in Continuation-Passing Style (0)

by Amr Sabry Sabry , Matthias Felleisen
Venue:Lisp and Symbolic Computation
Citations:161 - 13 self