Well-Going Programs Can Be Typed.

Published in: TLCA (2003)

Keyphrases

digital libraries
higher order
computer programs
databases
intermediate level
answer sets
image processing
relational databases
software engineering
computer vision
open source
social networks
artificial intelligence
fixpoint
data sets
provably correct
functional programs
lambda calculus