@inproceedingsEmi2007, Author = {Emir, Burak and Ma, Qin and Odersky, Martin}, Title = {Translation Correctness for First-Order Object-Oriented Pattern Matching}, Year = {2007}, Month = {01}, Booktitle = {The Fifth ASIAN Symposium on Programming Languages and Systems (APLAS 2007)}, type = {inproceedings} @COMMENTBibtex file generated on