paper
referenced-only
paper:castagna-unifying-overloading-and-abstractions-1997

Unifying overloading and λ-abstractions: λ[{}]

External IDs

title_hash
f8f47970aa2ddd6c3bbab09b21ce1ec7d81b93f0
legacy_slug
castagna-unifying-overloading-and-abstractions-1997
Frontmatter (8 fields)
{
  "doi": null,
  "year": 1997,
  "title": "Unifying overloading and λ-abstractions: λ[{}]",
  "venue": "Theoretical Computer Science",
  "authors": [
    "G. Castagna"
  ],
  "arxiv_id": null,
  "s2_paper_id": null,
  "ingest_status": "referenced-only"
}

Outgoing (0)

None.

Incoming (0)

None.

Cited by (1)