@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