Programming Type-Safe Transformations Using Higher-Order Abstract Syntax.

Olivier Savary Bélanger Stefan Monnier Brigitte Pientka

Published in: CPP (2013)

Keyphrases

higher order
type checking
natural images
high order
pairwise
programming language
general purpose
markov random field
abstract data types
program code
objective function
natural language
low level
development environment
programming environment
low order