Programming type-safe transformations using higher-order abstract syntax.

Olivier Savary Bélanger Stefan Monnier Brigitte Pientka

Published in: J. Formaliz. Reason. (2015)

Keyphrases

higher order
type checking
high level
programming language
abstract data types
high order
low level
natural images
programming course
computer science
pairwise
computer programming
program code
neural network
programming concepts
low order
conditional random fields
probabilistic model
knowledge base
machine learning