A type-theoretic foundation for programming with higher-order abstract syntax and first-class substitutions.

Brigitte Pientka

Published in: POPL (2008)

Keyphrases

higher order
high level
natural images
programming language
artificial intelligence
pairwise
markov random field
higher level
input image
general purpose
information systems
data sets
class labels
computer programming
abstract data types
type checking
lambda calculus