Call-by-Value, Call-by-Name and the Logic of Values

Authors:
Robert F. Stärk
Affiliations:
-
Venue:
CSL '96 Selected Papers from the10th International Workshop on Computer Science Logic
Year:
1996

Citing 0
Cited 3

Constructive Foundations for Featherweight Java

PTCS '01 Proceedings of the International Seminar on Proof Theory in Computer Science
A Theory of Explicit Mathematics Equivalent to ID1

Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic
Why the constant ‘undefined’? Logics of partial terms for strict and non-strict functional programming languages

Journal of Functional Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract