Artigo em ata de conferência Acesso aberto Revisto por pares

The logical essence of compiling with continuations