"Semantics of Linear Continuation-Passing in Call-by-Name."

Masahito Hasegawa (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics