Sign in

Automatic and efficient variability-aware lifting of functional programs.

Ramy ShahinMarsha Chechik
Published in: Proc. ACM Program. Lang. (2020)
Keyphrases
  • functional programs
  • term rewriting systems
  • high level
  • relational databases
  • functional language
  • lazy evaluation