Call-by-value solvability

被引：0

作者：

Paolini, Luca ^{[1
]}

Ronchi Della Rocca, Simona ^{[2
]}

机构：

[1] DISI, Università di Genova, Dipto. Info. Sci. dell'Informazione, Via Dodecaneso 35, 16146 Genova, Italy

[2] Università di Torino, Dipartimento di Informatica, C.so Svizzera 185, 10149 Torino, Italy

来源：

Theoretical Informatics and Applications | 1999年 / 33卷 / 06期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

页码：507 / 534

共 50 条

[31] CONSTRUCTING CALL-BY-VALUE CONTINUATION SEMANTICS
SETHI, R
TANG, A
JOURNAL OF THE ACM, 1980, 27 (03) : 580 - 597
[32] Extensional Universal Types for Call-by-Value
Asada, Kazuyuki
PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2008, 5356 : 122 - 137
[33] A relational account of call-by-value sequentiality
Riecke, JG
Sandholm, A
INFORMATION AND COMPUTATION, 2002, 179 (02) : 296 - 331
[34] Strong Call-by-Value is Reasonable, Implosively
Accattoli, Beniamino
Condoluci, Andrea
Coen, Claudio Sacerdoti
2021 36TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2021,
[35] Call-by-value λ-graph rewriting without rewriting
Fernández, M
Mackie, I
GRAPH TRANSFORMATIONS, PROCEEDINGS, 2002, 2505 : 75 - 89
[36] Linear dependent types in a call-by-value scenario
Dal Lago, Ugo
Petit, Barbara
SCIENCE OF COMPUTER PROGRAMMING, 2014, 84 : 77 - 100
[37] THE LAZY CALL-BY-VALUE LAMBDA-CALCULUS
EGIDI, L
HONSELL, F
DELLAROCCA, SR
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 520 : 161 - 169
[38] On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi
Crubille, Raphaeele
Dal Lago, Ugo
PROGRAMMING LANGUAGES AND SYSTEMS, 2014, 8410 : 209 - 228
[39] A hoare logic for call-by-value functional programs
Regis-Gianas, Yann
Pottier, Francois
MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS, 2008, 5133 : 305 - +
[40] Call-by-name and call-by-value in normal modal logic
Kakutani, Yoshihiko
PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2007, 4807 : 399 - 414