Sign in

Automatically Splitting a Two-Stage Lambda Calculus.

Nicolas FeltmanCarlo AngiuliUmut A. AcarKayvon Fatahalian
Published in: ESOP (2016)
Keyphrases
  • lambda calculus
  • programming language
  • higher order
  • general purpose
  • predicate calculus