Reasoning about Programs in Continuation-Passing Style (1993)

by Amr Sabry , Matthias Felleisen
Venue:LISP AND SYMBOLIC COMPUTATION
Citations:170 - 13 self