A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf
.
The theory and practice of first-class prompts
1988
Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '88
2 The modified X,-C-calculus The term set A7 of the original X,-C-calculus is defined inductively over a set of algebraic constants, Con& and a set of variables, Vars: L ::= a 12 1 Xt.M 1 MN 1 FM, where a ranges over constants, xover Vars, and L, M, and Nover &-terms. The first four classes of expres-Proceedings of the Fifteenth Annual ACM SIGACT-SIGPLAN Symposium on Princi-
doi:10.1145/73560.73576
dblp:conf/popl/Felleisen88
fatcat:kg6vgvkwzjeerhaxch53dag5yi