1st Workshop on Modules and Libraries for Proof Assistants, 2009-08-03
25th International Conference on Data Engineering, 2009-03-29
12th International Conference on Database Theory, 2009-03-23
The 13th ACM SIGPLAN International Conference on Functional Programming, 2008-09-24
The Fourth ASIAN Symposium on Programming Languages and Systems, 2006-11-09