Login / Signup

The logical approach to stack typing.

Amal J. AhmedDavid Walker
Published in: TLDI (2003)
Keyphrases
  • logical reasoning
  • databases
  • logical structure
  • real world
  • data mining
  • multiscale
  • object recognition
  • logical framework
  • logical properties
  • logical representation
  • logical rules