Shayan Najd

Trees That Grow

2016 · arXiv (Cornell University)

We study the notion of extensibility in functional data types, as a new approach to the problem of decorating abstract syntax trees with additional sets of information. We observed the need for such extensibility while …