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 条

[41] Applicative Bisimilarities for Call-by-Name and Call-by-Value lambda mu-Calculus
Biernacki, Dariusz
Lenglet, Serguei
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2014, 308 : 49 - 64
[42] Polarity and the Logic of Delimited Continuations
Zeilberger, Noam
25TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2010), 2010, : 219 - 227
[43] Eager and delayed contract monitoring for call-by-value and call-by-name evaluation
Degen, Markus
Thiemann, Peter
Wehr, Stefan
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2010, 79 (07): : 515 - 549
[44] Formal Verifications of Call-by-Need and Call-by-Name Evaluations with Mutual Recursion
Mizuno, Masayuki
Sumii, Eijiro
PROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2019, 2019, 11893 : 181 - 201
[45] Call-by-name and call-by-value as token-passing interaction nets
Sinot, FR
TYPED LAMBDA CALCULI AND APPLICATIONS, PROCEEDINGS, 2005, 3461 : 386 - 400
[46] Factorization in Call-by-Name and Call-by-Value Calculi via Linear Logic
Faggian, Claudia
Guerrieri, Giulio
FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, FOSSACS 2021, 2021, 12650 : 205 - 225
[47] Denotational Semantics of Call-by-name Normalization in Lambda-mu Calculus
Komendantsky, Vladimir
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 225 (161-179) : 161 - 179
[48] Call-by-name reduction and cut-elimination in classical logic
Kikuchi, Kentaro
ANNALS OF PURE AND APPLIED LOGIC, 2008, 153 (1-3) : 38 - 65
[49] Extracting a Call-by-Name Partial Evaluator from a Proof of Termination
Asai, Kenichi
PROCEEDINGS OF THE 2019 ACM SIGPLAN WORKSHOP ON PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM '19), 2019, : 61 - 67
[50] Handling Delimited Continuations with Dependent Types
Cong, Youyou
Asai, Kenichi
PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES, 2018,

← 1 2 3 4 5 →