Shan, Chung-chieh A static simulation of dynamic delimited control. (English) Zbl 1128.68010 High.-Order Symb. Comput. 20, No. 4, 371-401 (2007). MSC: 68N01 × Cite Format Result Cite Review PDF Full Text: DOI
Kameyama, Yukiyoshi Axioms for control operators in the CPS hierarchy. (English) Zbl 1128.68009 High.-Order Symb. Comput. 20, No. 4, 339-369 (2007). MSC: 68N01 × Cite Format Result Cite Review PDF Full Text: DOI
Krishnamurthi, Shriram; Hopkins, Peter Walton; McCarthy, Jay; Graunke, Paul T.; Pettyjohn, Greg; Felleisen, Matthias Implementation and use of the PLT scheme web server. (English) Zbl 1129.68330 High.-Order Symb. Comput. 20, No. 4, 431-460 (2007). MSC: 68M10 × Cite Format Result Cite Review PDF Full Text: DOI
Ariola, Zena M.; Herbelin, Hugo; Sabry, Amr A proof-theoretic foundation of abortive continuations. (English) Zbl 1128.68089 High.-Order Symb. Comput. 20, No. 4, 403-429 (2007). MSC: 68T15 03B05 03B20 03B40 × Cite Format Result Cite Review PDF Full Text: DOI HAL