Polarised Intermediate Representation of Lambda Calculus with Sums.

Guillaume Munch-Maccagnoni Gabriel Scherer

Published in: LICS (2015)

Keyphrases

intermediate representation
lambda calculus
programming language
intermediate level
predicate calculus
database query languages
program understanding
tightly coupled
complex objects
object oriented
intermediate representations
artificial intelligence
expert systems
expressive power
control structure