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 条

[21] 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):
[22] Proof nets and the call-by-value λ-calculus
Accattoli, Beniamino
THEORETICAL COMPUTER SCIENCE, 2015, 606 : 2 - 24
[23] Game Semantics for Call-by-Value Polymorphism
Laird, James
AUTOMATA, LANGUAGES AND PROGRAMMING, PT II, 2010, 6199 : 187 - 198
[24] CALL-BY-VALUE TERMINATION IN THE UNTYPED λ-CALCULUS
Jones, Neil D.
Bohr, Nina
LOGICAL METHODS IN COMPUTER SCIENCE, 2008, 4 (01)
[25] λμ-Calculus and duality:: Call-by-name and call-by-value
Rocheteau, J
TERM REWRITING AND APPLICATIONS, PROCEEDINGS, 2005, 3467 : 204 - 218
[26] Strong Call-by-Value and Multi Types
Accattoli, Beniamino
Guerrieri, Giulio
Leberle, Maico
THEORETICAL ASPECTS OF COMPUTING, ICTAC 2023, 2023, 14446 : 196 - 215
[27] A relational account of call-by-value sequentiality
Riecke, JG
Sandholm, A
12TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1997, : 258 - 267
[28] Mixin modules in a call-by-value setting
Hirschowitz, T
Leroy, X
PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2002, 2305 : 6 - 20
[29] Call-by-value is dual to call-by-name - Reloaded
Wadler, P
TERM REWRITING AND APPLICATIONS, PROCEEDINGS, 2005, 3467 : 185 - 203
[30] Call-by-value, call-by-name and the logic of values
Stark, RF
COMPUTER SCIENCE LOGIC, 1997, 1258 : 431 - 445