Login / Signup

Normalization by Evaluation for Call-By-Push-Value and Polarized Lambda Calculus.

Andreas AbelChristian Sattler
Published in: PPDP (2019)
Keyphrases
  • lambda calculus
  • programming language
  • artificial intelligence
  • higher order
  • general purpose