artifact
active
artifact:unifying-overloading-and-abstractions-castagna-1997

Unifying overloading and λ-abstractions: λ[{}] (Castagna, 1997)

Reference [1], a closely-related type-based unification work.

Neighborhood — ranked by edge-count

Papers (1)

paper

Thinkers (1)

thinker
  • G. Castagna
    authored
    Cited for unifying overloading and lambda abstractions (λ[{}]).