Dependently typed array programs don't go wrong.

Kai Trojahner Clemens Grelck

Published in: J. Log. Algebraic Methods Program. (2009)

Keyphrases

higher order
prolog programs
expert systems
lambda calculus
computer programs
neural network
search engine
website
three dimensional
multiscale
video sequences
database
data mining
high speed
source code
programming environment
intermediate level
automatic programming
data sets
real time