The theory and practice of first-class prompts

M. Felleisen
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