Indiana University Bloomington

School of Informatics and Computing

Technical Report TR191:
Reasoning With Continuations. Sym. on Logic in Computer

M. Felleisen, D. P. Friedman, E. Kohlbecker & B. Duba
(Jun 1986)
[Science, Cambridge, MA, (June, 1986), 131--141 [Not Available-TR 215 is a revision of TR 191]]
Abstract:
The abstact is not available. Please see the full paper.

Available as: