Practical Programming with Higher-Order Encodings and Dependent Types.

Adam Poswolsky Carsten Schürmann

Published in: ESOP (2008)

Keyphrases

higher order
programming language
natural images
high order
practical application
hands on guide
low order
machine learning
data model
real time
real world
search space
state space
planning problems
computer programming
programming environment