A lambda-calculus for dynamic binding

A semantics of multiple inheritance

Luca Cardelli · Information and Computation · 1988 · 627 citations

Language Studies, World Languages, Knowledge Representation +7

Full Abstraction in the Lazy Lambda Calculus

Samson Abramsky, C.-H. Luke Ong · Information and Computation · 1993 · 238 citations

Computing, Computer Science, Algebra +8

Type checking records and variants in a natural extension of ML

Didier Rémy · 1989 · 205 citations · Full text

Computing, Computer Science, Natural Language Processing +12

Parallel Reductions in λ-Calculus

Masayuki Takahashi · Information and Computation · 1995 · 188 citations

Computing, Computer Science, Parallel Algorithms +6

Inheritance as implicit coercion

Val Breazu-Tannen, Thierry Coquand, Carl A. Gunter et al. · Information and Computation · 1991 · 179 citations

Computing, Computer Science, Programming Languages +13