Kathryn E Gray's Publications

• Towards Customizable Pedagogic Programming Languages. Kathryn E Gray. PhD Dissertation, University of Utah, School of Computing, August 2006. abstract pdf
  
• Design of Class Hierarchies: An Introduction to OO Program Design Viera K Proulx and Kathryn E Gray. To appear Proc. of Special Interest Group on Computer Science Education, March 2006.
  
• Fine Grained Interoperability through Mirrors and Contracts Kathryn E Gray, Robert Bruce Findler, and Matthew Flatt. OOPSLA 2005 pdf
  
• How to Design Class Hierarchies Viera K Proulx and Kathryn E Gray. Workshop on Pedagogies and Tools for the Teaching and Learning of Object Oriented Concepts, July 2005 paper
  
• Compiling Java to PLT Scheme Kathryn E Gray and Matthew Flatt. Scheme Workshop Sept 22, 2004. ps pdf
  
• ProfessorJ: A Gradual Intro to Java through Language Levels Kathryn E Gray and Matthew Flatt. OOPSLA Educators' Symposium October 27, 2003 Anaheim California abstract pdf
• Transformation-by-example for XML. Shriram Krishnamuthi, Kathryn E. Gray, and Paul Graunke. Practical Aspects of Declarative Languages 2000. abstract pdf
• Implementing Extensible Theorem Provers. Kathi Fisler, Shriram Krishnamurthi and Kathryn E. Gray. Theorem Proving in Higher-Order Logics: Emerging Trends, Sept 1999.