publicações selecionadas artigo de conferência The logical essence of compiling with continuations 2023