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 条

[1] Call-by-value solvability
Paolini, L
Della Rocca, SR
RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1999, 33 (06): : 507 - 534
[2] Call-by-Value Solvability, Revisited
Accattoli, Beniamino
Paolini, Luca
FUNCTIONAL AND LOGIC PROGRAMMING (FLOPS 2012), 2012, 7294 : 4 - 16
[3] The Theory of Call-by-Value Solvability
Accattoli, Beniamino
Guerrieri, Giulio
PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2022, 6 (ICFP):
[4] A Semantical and Operational Account of Call-by-Value Solvability
Carraro, Alberto
Guerrieri, Giulio
FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, 2014, 8412 : 103 - 118
[5] A reflection on call-by-value
Sabry, A
Wadler, P
ACM SIGPLAN NOTICES, 1996, 31 (06) : 13 - 24
[6] Call-by-value games
Abramsky, S
McCusker, G
COMPUTER SCIENCE LOGIC, 1998, 1414 : 1 - 17
[7] Open Call-by-Value
Accattoli, Beniamino
Guerrieri, Giulio
PROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2016, 2016, 10017 : 206 - 226
[8] A reflection on call-by-value
Sabry, A
Wadler, P
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1997, 19 (06): : 916 - 941
[9] ALGEBRAIC SEMANTICS OF CALL-BY-VALUE
ARNOLD, A
RAIRO-INFORMATIQUE THEORIQUE-THEORETICAL COMPUTER SCIENCE, 1978, 12 (02): : 69 - 82
[10] Lazy call-by-value evaluation
Brassel, Bernd
Fischer, Sebastian
Hanus, Michael
Huch, Frank
Vidal, German
ACM SIGPLAN NOTICES, 2007, 42 (09) : 265 - 276