Plotkin, G., Call-by-name, call-by-value and the lambda-calculus, TCS, 1:125--159, 1975. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Categorical and Graphical Models of Programming Languages - Schweimeier (2001) (1 citation) (Correct)
Diagrams for Meaning Preservation - Wells Detlef Plump (2003) (Correct)
On The Type Structure of Standard ML - Robert Harper Carnegie-Mellon (1993) (29 citations) (Correct)
A Partial Evaluator for the Untyped Lambda Calculus - Gomard, Jones (1991) (93 citations) (Correct)
Sober Spaces And Continuations - Taylor (2002) (Correct)
Games Characterizing Levy-Longo Trees - Ong, Di Gianantonio (Correct)
Assigning Types to Processes - Yoshida, Hennessy (2000) (32 citations) (Correct)
Computational Interpretations of Linear Logic - Abramsky (1993) (225 citations) (Correct)
Actor Languages: Their Syntax, Semantics, Translation, and.. - Mason, Talcott (Correct)
Duality between Call-by-Name Recursion and Call-by-Value Iteration - Kakutani (2001) (Correct)
Assigning Types to Processes - Yoshida, Hennessy (2000) (32 citations) (Correct)
Closed Types as a Simple Approach to Safe Imperative.. - Calcagno, Moggi, Taha (2000) (4 citations) (Correct)
Security and Fault-Tolerance in Distributed Systems: An - Actor-Based Approach Gul (Correct)
Termination Analysis of the Untyped -Calculus - Neil Jones And (Correct)
Sharing Continuations: Proofnets for Languages with Explicit.. - Lawall, Mairson (2000) (Correct)
On the Observable Properties of - Higher Order Functions (Correct)
Conservation and Uniform Normalization in Lambda Calculi.. - Neergaard, Sørensen (2002) (2 citations) (Correct)
Process Logic and Duality - Part I: Sequential Processes - Honda (Correct)
Observable Properties of Higher Order Functions - That Dynamically Create (Correct)
A Compositional Logic for Polymorphic Higher-Order Functions - Kohei Honda Department (2004) (Correct)
A Calculus for Link-time Compilation - Machkasova, Turbak (2000) (23 citations) (Correct)
Diagrams for Meaning Preservation - Wells Detlef Plump (Correct)
A Computationally Sound Call-by-Value Module Calculus - Machkasova, Turbak (2001) (Correct)
Diagrams for Meaning Preservation - Wells Detlef Plump (2003) (Correct)
The Origins of Structural Operational Semantics - Plotkin (2003) (1 citation) Self-citation (Plotkin) (Correct)
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC