Skip to content

Free S-Monoids: A Higher-Order Syntax with Metavariables.

Makoto Hamana

VenueBAPLAS
Year2004
ProceedingsAPLAS

Browse the full APLAS paper archive.