Paper: Reasoning with Continuations (at LICS 1986)
Authors: Matthias Felleisen Daniel P. Friedman Eugene E. Kohlbecker Bruce F. DubaAbstract
No Abstract Available
BibTeX
@InProceedings{FelleisenFriedmanKo-ReasoningwithContin, author = {Matthias Felleisen and Daniel P. Friedman and Eugene E. Kohlbecker and Bruce F. Duba}, title = {Reasoning with Continuations}, booktitle = {Proceedings of the First Annual IEEE Symp. on Logic in Computer Science, {LICS} 1986}, year = 1986, editor = {Albert Meyer}, month = {June}, pages = {131--141}, location = {Cambridge, MA, USA}, publisher = {IEEE Computer Society Press} }