The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.

A denotational approach for type-checking in object-oriented programming languages

The work

AuthorsRoberto Ierusalimschy
Editors
Typearticle
Year1993
Citekeyierusalimschy1993denotational

Where it appeared

Published inComputer Languages
PublisherElsevier
Volume19
Issue1
Pages19--40

Identifiers

DOI10.1016/0096-0551(93)90037-2
OpenAlexW1997553781

Access

Landing pagehttps://doi.org/10.1016/0096-0551(93)90037-2

How it got here

How it got hereagent via openalex
Added2026-08-04 00:00 UTC
Not denied bya person 2026-08-07 23:30 UTC

Filed under

what-a-program-means

Cite it as

@article{ierusalimschy1993denotational,
  title        = {A denotational approach for type-checking in object-oriented programming languages},
  author       = {Roberto Ierusalimschy},
  year         = {1993},
  journal      = {Computer Languages},
  publisher    = {Elsevier},
  volume       = {19},
  number       = {1},
  pages        = {19--40},
  doi          = {10.1016/0096-0551(93)90037-2},
}

This record lives at https://refs.drheap.org/ierusalimschy1993denotational/ and will keep doing so.