Login / Signup

Deriving an Abstract Machine for Strong Call by Need.

Malgorzata BiernackaWitold Charatonik
Published in: FSCD (2019)
Keyphrases
  • abstract machine
  • data model
  • learning algorithm
  • domain knowledge
  • knowledge representation
  • small number