@diverzulu

Logical foundations of object-oriented and frame-based languages

, , and . Journal of the ACM (JACM), 42 (4): 741--843 (1995)

Links and resources

Tags

community

  • @kochm
  • @schmitz
  • @neilernst
  • @aljsanchez
  • @vzach
  • @evabl444
  • @hotho
  • @diverzulu
  • @stefano
  • @jeenbroekstra
  • @cbrewster
@diverzulu's tags highlighted