Ill-Typed Programs Don't Evaluate.

Steven Ramsay Charlie Walpole

Published in: Proc. ACM Program. Lang. (2024)

Keyphrases

higher order
computer programs
fixpoint
automatic programming
control structures
provably correct
database
real time
computer vision
image processing
decision trees
object oriented
answer sets
control program
fixed order