2 citations · 2 across the 2 of their papers we have counts for
1 paper · 1 filter
Xu Huang
This article explores a generic framework of well-typed and well-scoped syntaxes, with a signature-axiom approach resembling traditional abstract algebra. The boilerplate code need…