Login / Signup

Fully abstract encodings of λ-calculus in HOcore through abstract machines.

Malgorzata BiernackaDariusz BiernackiSergueï LengletPiotr PolesiukDamien PousAlan Schmitt
Published in: LICS (2017)
Keyphrases
  • case study
  • high level
  • state machines
  • database
  • data sets
  • databases
  • machine learning
  • relational databases