Login / Signup

Refunctionalization of abstract abstract machines: bridging the gap between abstract abstract machines and abstract definitional interpreters (functional pearl).

Guannan WeiJames M. DeckerTiark Rompf
Published in: Proc. ACM Program. Lang. (2018)
Keyphrases
  • higher level
  • high level
  • database
  • search algorithm
  • low level
  • real world
  • machine learning
  • social networks