海量图书期刊资源，随时随地畅享阅读乐趣
CPS transformation of beta-redexesOlivier Danvy; Lasse R. Nielsen · 2005
Syntactic Theories in PracticeOlivier Danvy; Lasse R. Nielsen · 2001
On one-pass CPS transformationsDANVY, OLIVIER; MILLIKIN, KEVIN; NIELSEN, LASSE R. · Journal of Functional Programming · 2007