2007

Object-oriented pattern matching.

[DOI]

PhD thesis, 2007

Matching Objects with Patterns.

[DOI]

Proceedings of the ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30, 2007

Translation Correctness for First-Order Object-Oriented Pattern Matching.

[DOI]

Proceedings of the Programming Languages and Systems, 5th Asian Symposium, 2007

2006

Variance and Generalized Constraints for C<sup>#</sup> Generics.

[DOI]

Proceedings of the ECOOP 2006, 2006

Scalable Programming Abstractions for XML Services.

[DOI]

Proceedings of the Dependable Systems: Software, Computing, Networks, 2006

2005

Compiling regular patterns to sequential machines.

[DOI]

Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005