Note: These pages are a quick mirror of what used to be at www.ogi.edu. Expect many broken links.
I worked as a Senior Research Associate at Pacific Software Research Center until summer 2003. Before coming to OGI, I was at Chalmers in Sweden, and currently, I am with Galois.
Generic Unification Generalized.
Adaptive Functional Programming.
Slides presenting the results of the 2002 ICFP Programming Contest.