An Approach to Call-by-Name Delimited Continuations

被引：15

作者：

Herbelin, Hugo

Ghilezan, Silvia

机构：

来源：

关键词：

Delimited control; Observational completeness; Bohm separability; Classical logic;

D O I：

10.1145/1328438.1328484

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：383 / 394

页数：12

共 50 条

[1] An approach to call-by-name delimited continuations
Herbelin, Hugo
Ghilezan, Silvia
ACM SIGPLAN NOTICES, 2008, 43 (01) : 383 - 394
[2] A Hierarchy for Delimited Continuations in Call-by-Name
Saurin, Alexis
FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, PROCEEDINGS, 2010, 6014 : 374 - 388
[3] Call-by-name extensionality and confluence
Johnson-Freyd, Philip
Downen, Paul
Ariola, Zena M.
JOURNAL OF FUNCTIONAL PROGRAMMING, 2017, 27
[4] Call-by-value is dual to call-by-name
Wadler, P
ACM SIGPLAN NOTICES, 2003, 38 (09) : 189 - 201
[5] A Call-by-Name CPS Hierarchy
Tanaka, Asami
Kameyama, Yukiyoshi
FUNCTIONAL AND LOGIC PROGRAMMING (FLOPS 2012), 2012, 7294 : 260 - 274
[6] Turchin's Relation for Call-by-Name Computations: A Formal Approach
Nepeivoda, Antonina
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (216): : 137 - 159
[7] CALL-BY-NAME GRADUAL TYPE THEORY
New, Max S.
Licata, Daniel R.
LOGICAL METHODS IN COMPUTER SCIENCE, 2020, 16 (01)
[8] Call-by-value is dual to call-by-name, extended
Kimura, Daisuke
PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2007, 4807 : 415 - 430
[9] GALOIS CONNECTING CALL-BY-VALUE AND CALL-BY-NAME
Mcdermott, Dylan
Mycroft, Alan
LOGICAL METHODS IN COMPUTER SCIENCE, 2024, 20 (01) : 1 - 13
[10] λμ-Calculus and duality:: Call-by-name and call-by-value
Rocheteau, J
TERM REWRITING AND APPLICATIONS, PROCEEDINGS, 2005, 3467 : 204 - 218