Deriving interpretations of the gradually-typed lambda calculus.

Álvaro García-Pérez Pablo Nogueira Ilya Sergey

Published in: PEPM (2014)

Keyphrases

lambda calculus
programming language
database query languages
predicate calculus
complex objects
higher order
high level
general purpose
program understanding
databases
artificial intelligence
case study
knowledge representation
formal model