Well-Typed Programs Can't Be Blamed.

Philip Wadler Robert Bruce Findler

Published in: ESOP (2009)

Keyphrases

higher order
computer programs
automatic programming
data sets
machine learning
answer sets
program execution
decision making
objective function
artificial neural networks
special case
software engineering
control structures