A Computational Interpretation of Context-Free Expressions.

Martin Sulzmann, Peter Thiemann

Browse the full APLAS paper archive.