C.-H. Luke Ong, Charles A. Stewart
A Curry-Howard Foundation for Functional Computation with Control
POPL, 1997.
@inproceedings{POPL-1997-OngS,
author = "C.-H. Luke Ong and Charles A. Stewart",
booktitle = "{Conference Record of the 24th Symposium on Principles of Programming Languages}",
doi = "10.1145/263699.263722",
editor = "Peter Lee and Fritz Henglein and Neil D. Jones",
isbn = "0-89791-853-3",
pages = "215--227",
publisher = "{ACM Press}",
title = "{A Curry-Howard Foundation for Functional Computation with Control}",
year = 1997,
}