Timothy Griffin. A Formulae-as-Types Notion of Control. In POPL. pages 47-58, 1990.
@inproceedings{Griffin90,
title = {A Formulae-as-Types Notion of Control},
author = {Timothy Griffin},
year = {1990},
researchr = {https://researchr.org/publication/Griffin90},
cites = {0},
citedby = {0},
pages = {47-58},
booktitle = {POPL},
}