An Approach to Call-by-Name Delimited Continuations

被引：15
|
作者：
Herbelin, Hugo
Ghilezan, Silvia
机构：
来源：
POPL'08: PROCEEDINGS OF THE 35TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES | 2008年
关键词：
Delimited control; Observational completeness; Bohm separability; Classical logic;
D O I：
10.1145/1328438.1328484
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：383 / 394
页数：12
相关论文
共 50 条
  • [21] Polymorphic delimited continuations
    Asai, Kenichi
    Kameyama, Yukiyoshi
    PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2007, 4807 : 239 - 254
  • [22] Subtyping Delimited Continuations
    Materzok, Marek
    Biernacki, Dariusz
    ACM SIGPLAN NOTICES, 2011, 46 (09) : 81 - 93
  • [23] SEMANTICS OF CALL-BY-VALUE AND CALL-BY-NAME IN A NONDETERMINISTIC ENVIRONMENT
    HENNESSY, MCB
    SIAM JOURNAL ON COMPUTING, 1980, 9 (01) : 67 - 84
  • [24] CONVEXITY AND ORDER IN PROBABILISTIC CALL-BY-NAME FPC
    Rennela, Mathys
    LOGICAL METHODS IN COMPUTER SCIENCE, 2020, 16 (04) : 10:1 - 10:25
  • [25] AUTOMATIC PABX CALL-BY-NAME DIRECTORY.
    Durand, A.
    1600, (25):
  • [26] Subtyping Delimited Continuations
    Materzok, Marek
    Biernacki, Dariusz
    ICFP 11 - PROCEEDINGS OF THE 2011 ACM SIGPLAN: INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING, 2011, : 81 - 93
  • [27] Delimited continuations for prolog
    Schrijvers, Tom
    Demoen, Bart
    Desouter, Benoit
    Wielemaker, Jan
    Theory and Practice of Logic Programming, 2013, 13 (4-5): : 533 - 546
  • [28] CALL-BY-VALUE, CALL-BY-NAME AND THE VECTORIAL BEHAVIOUR OF THE ALGEBRAIC λ-CALCULUS
    Assaf, Ali
    Diaz-Caro, Alejandro
    Perdrix, Simon
    Tasson, Christine
    Valiron, Benoit
    LOGICAL METHODS IN COMPUTER SCIENCE, 2014, 10 (04)
  • [29] Duality between call-by-name recursion and call-by-value iteration
    Kakutani, Y
    COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2002, 2471 : 506 - 521
  • [30] Call-by-push-value: Decomposing call-by-value and call-by-name
    University of Birmingham, United Kingdom
    High Order Symbol Comput, 2006, 4 (377-414):
12345