Strachey, C.: Fundamental concepts in programming languages. Lecture Notes, International Summer School in Computer Programming, Copenhagen (1967) Reprinted in Higher-Order and Symbolic Computation, 13(1/2), pp. 1--49, 2000. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Parametricity as a Notion of Uniformity in Reflexive Graphs - Dunphy (2002) (Correct)
Generic Properties of Datatypes - Backhouse, Hoogendijk (2002) (Correct)
Notes on Sconing and Relators - Mitchell, Scedrov (1993) (28 citations) (Correct)
A Simple Proof Technique for Certain Parametricity Results - Crary (1998) (6 citations) (Correct)
A Characterization Of Lambda Definability In Categorical Models .. - Alimohamed (1995) (11 citations) (Correct)
Behavioral Equivalence in the Polymorphic Pi-Calculus - Pierce, Sangiorgi (1997) (49 citations) (Correct)
Abstract Models of Storage - Tennent, Ghica (2000) (Correct)
When Do Datatypes Commute? - Hoogendijk, Backhouse (1997) (Correct)
Behavioral Equivalence in the Polymorphic Pi-Calculus - Pierce, Sangiorgi (1999) (49 citations) (Correct)
Objects, Interference, and the Yoneda Embedding - O'Hearn (Correct)
Types, Abstraction, and Parametric Polymorphism, Part 2 - Ma, Reynolds (1991) (Correct)
Functionality, Polymorphism and Concurrency: A Mathematical.. - Selinger (1997) (2 citations) (Correct)
Behavioral Equivalence in the Polymorphic Pi-Calculus - Benjamin C. Pierce, Davide .. (1996) (49 citations) (Correct)
Generics as a Library (Extended Abstract) - Oliveira, Hinze, Löh (Correct)
Generics as a Library - Oliveira, Hinze, Löh (Correct)
An Introduction to Polymorphic Lambda Calculus - Reynolds (1994) (4 citations) (Correct)
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