Translation Correctness for First-Order Object-Oriented Pattern Matching

BIB
Emir, Burak and Ma, Qin and Odersky, Martin
The Fifth ASIAN Symposium on Programming Languages and Systems (APLAS 2007)
01 / 2007
inproceedings