Higher-Order and Symbolic Computation

, Volume 20, Issue 4, pp 337–338 | Cite as




  1. 1.
    Ariola, Z.M., Herbelin, H.: Minimal classical logic and control operators. In: Baeten, J.C.M., Lenstra, J.K., Parrow, J., Woeginger, G.J. (eds.) Automata, Languages and Programming, 30th International Colloquium (ICALP 2003), Eindhoven, The Netherlands, July 2003. Lecture Notes in Computer Science, vol. 2719, pp. 871–885. Springer, New York (2003) CrossRefGoogle Scholar
  2. 2.
    Shan, C.-C.: Shift to control. In: Shivers, O., Waddell, O. (eds.) Proceedings of the 2004 ACM SIGPLAN Workshop on Scheme and Functional Programming. Technical report TR600, Computer Science Department, Indiana University, Snowbird, Utah (September 2004) Google Scholar
  3. 3.
    Thielecke, H. (ed.): Proceedings of the Fourth ACM SIGPLAN Workshop on Continuations (CW’04). Technical report CSR-04-1, Department of Computer Science, Queen Mary’s College, Venice, Italy (January 2004) Google Scholar

Copyright information

© Springer Science+Business Media, LLC 2007

Authors and Affiliations

  1. 1.Department of Computer ScienceUniversity of AarhusAarhusDenmark
  2. 2.School of Computer ScienceUniversity of BirminghamBirminghamUK

Personalised recommendations