1 paper · 1 filter
Shayan Najd, Simon Peyton Jones
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…