User loginNavigation |
Call-by-Name, Call-by Value and the Lambda Calculus
Gordon Plotkin's
Call-by-Name, Call-by-Value and the Lambda Calculus (Theoretical Computer Science , Vol. 1, pp. 125-159, 1975), is available online.
The fundamental point made in the paper should seem natural to most LtU readers: In order to reason about programming language semantics one should look for programming language/calculus pairs. The paper contrasts CBN and CBV, and shows the differences between the Lambda Calculi appropriate for describing each of them. |
Browse archivesActive forum topics |
Recent comments
8 weeks 3 days ago
8 weeks 5 days ago
8 weeks 6 days ago
15 weeks 6 days ago
21 weeks 4 days ago
21 weeks 5 days ago
22 weeks 4 days ago
25 weeks 2 days ago
26 weeks 5 days ago
26 weeks 5 days ago