@inproceedings{DBLP:conf/aplas/Hamana04,
author = {Makoto Hamana},
title = {Free S-Monoids: A Higher-Order Syntax with Metavariables},
booktitle = {APLAS},
year = {2004},
pages = {348-363},
ee = {http://dx.doi.org/10.1007/978-3-540-30477-7_23},
crossref = {DBLP:conf/aplas/2004},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/aplas/2004,
editor = {Wei-Ngan Chin},
title = {Programming Languages and Systems: Second Asian Symposium,
APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings},
booktitle = {APLAS},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {3302},
year = {2004},
isbn = {3-540-23724-0},
bibsource = {DBLP, http://dblp.uni-trier.de}
}