Dynamic Control Operators in Type Theory

@inproceedings{Kameyama2001DynamicCO,
  title={Dynamic Control Operators in Type Theory},
  author={Yukiyoshi Kameyama},
  booktitle={APLAS},
  year={2001}
}

Topics from this paper.

Citations

Publications citing this paper.