A Polymorphic Type System for the Lambda-Calculus with Constructors.

Published in: TLCA (2009)

Keyphrases

lambda calculus
database query languages
type checking
programming language
description logics
complex objects
artificial intelligence
higher order
predicate calculus