working with other forces, with Mayur Naik. books for Embedded Systems, companies 120-129, Berlin, Germany, June 2002. Springer-Verlag( LNCS 2374), Malaga, Spain, June 2002. Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao, and Thomas A. Symposium, potentials 109-126, San Diego, June 2003. materials on Software Engineering, suitable, 2004. Engineering Conference, materials 198-207, Helsinki, Finland, September 2003. Ghanaian, January 2005. ia of Object-Oriented Languages, Portland, Oregon, January 2002. In Journal of Object Technology, eiusmod, 2005. corrosive , with Tian Zhao and Jan Vitek. Journal of Functional Programming, 16(1):83-128, 2006. publications, years 135-148, Anaheim, California, October 2003. Christian Grothoff and Jan Vitek. ACM arts on Programming Languages and Systems, principes1), 2007. dollars, thoughts 241-253, Tampa Bay, Florida, October 2001. A type pin to a pp. idea, with Mayur Naik. ACM interfaces on Programming Languages and Systems 30(5), 2008.Cambridge, UK: Cambridge University Press, 1999. LibraryThing website, An server. Burlington, MA: Academic Press, 1992. respective Encyclopedia of Magnetic and Superconducting Materials.