most citedGeneric Description of Well-Scoped, Well-Typed Syntaxes

3 citations · 3 across the 1 of their papers we have counts for

collaborators

1 paper

cs.PL2018★ 3 cited

Generic Description of Well-Scoped, Well-Typed Syntaxes

Gergő Érdi

We adapt the technique of type-generic programming via descriptions pointing into a universe to the domain of typed languages with binders and variables, implementing a notion of "…