Σ-monoids: A higher-order syntax with metavariables (2004)

by Free
Venue:In Asian Symposium on Programming Languages and Systems (APLAS 2004), LNCS 3302