Functional programming with lambda-tree syntax

Ulysse Gérard, Dale Miller, Gabriel Scherer

We present the design of a new functional programming language, MLTS, that uses the lambda-tree syntax approach to encoding bindings appearing within data structures. In this appro…