Do values grow on trees?: expression integrity in functional programming.

Guillaume Marceau Kathi Fisler Shriram Krishnamurthi

Published in: ICER (2011)

Keyphrases

functional programming
object oriented programming
execution model
functional language
decision trees
programming language
quantifier elimination
tree structure
general purpose
object oriented
multi dimensional
integrity constraints