Complete Call-by-Value Calculi of Control Operators, I
Logic in Computer Science
2021-05-04 v2 Programming Languages
Abstract
We give new call-by-value calculi of control operators that are complete for the continuation-passing style semantics. Various anticipated computational properties are induced from the completeness. In the first part of a series of papers, we give the characterization of termination properties using the continuation-passing style semantics as well as the union-intersection type discipline.
Keywords
Cite
@article{arxiv.1707.02056,
title = {Complete Call-by-Value Calculi of Control Operators, I},
author = {Ryu Hasegawa},
journal= {arXiv preprint arXiv:1707.02056},
year = {2021}
}