P. Landin. A correspondence between algol 60 and church's lambda-notation. Comm. ACM, 8:2, 1965. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
The Lazy Lambda Calculus - Abramsky (1990) (176 citations) (Correct)
Computational Interpretations of Linear Logic - Abramsky (1993) (225 citations) (Correct)
Types as Theories - Joseph Goguen Programming (1991) (21 citations) (Correct)
On the Search for Tractable Ways of Reasoning about Programs - Jones (2001) (8 citations) (Correct)
Models of Control and Their Implications for Programming Language .. - Sitaram (1994) (2 citations) (Correct)
Verification of Machine Codes Using An Effect Type System - Chung, Ryu, Yi (2000) (Correct)
Verification of Machine Codes Using An Effect Type System - Chung, Ryu, Yi (2000) (Correct)
Reflections on complexity of ML type reconstruction - Wierzbicki (1997) (Correct)
Realtime Signal Processing - Dataflow, Visual, and Functional.. - Reekie (1995) (Correct)
Realtime Signal Processing - Dataflow, Visual, and Functional.. - Reekie (1995) (Correct)
Revised^3 Report on the Algorithmic Language Scheme - Rees, (ed.), Clinger.. (1991) (190 citations) (Correct)
Revised^5 Report on the Algorithmic Language Scheme - Kelsey, (ed.), Clinger.. (1998) (Correct)
Semantics-Based Compiling: A Case Study in Type-Directed.. - Danvy, Vestergaard (15 citations) (Correct)
TinkerType: A Language for Playing with Formal Systems - Levin, Pierce (2000) (2 citations) (Correct)
An Observationally Complete Program Logic for Imperative.. - Honda, Yoshida, Berger (Correct)
Denotational Semantics for Asynchronous Concurrent Languages - Nyström (1996) (Correct)
Precise and Expressive Mode Systems for Typed Logic Programming.. - Overton (2003) (Correct)
Precise and Expressive Mode Systems for Typed Logic Programming.. - Overton (2003) (Correct)
A Model for Declarative Programming and Specification with.. - Caires (1999) (Correct)
Demonstrating Lambda Calculus Reduction - Peter Sestoft Department (2002) (1 citation) (Correct)
Process Logic and Duality - Part I: Sequential Processes - Honda (Correct)
The Early Search for Tractable Ways of Reasoning About Programs - Jones (2003) (Correct)
A Compositional Logic for Polymorphic Higher-Order Functions - Kohei Honda Department (2004) (Correct)
A Trace Model for Pointers and Objects - Hoare, Jifeng (1999) (20 citations) (Correct)
The Origins of Structural Operational Semantics - Plotkin (2003) (1 citation) Self-citation (Landin) (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