@inproceedings{DBLP:conf/aplas/Pfenning04,
author = {Frank Pfenning},
title = {Substructural Operational Semantics and Linear Destination-Passing
Style (Invited Talk)},
booktitle = {APLAS},
year = {2004},
pages = {196},
ee = {http://dx.doi.org/10.1007/978-3-540-30477-7_13},
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}
}