Functional programming with lambda-tree syntax.

Ulysse Gérard Dale Miller Gabriel Scherer

Published in: CoRR (2019)

Keyphrases

functional programming
functional language
programming language
execution model
object oriented programming
quantifier elimination
tree structure
index structure
general purpose
object oriented