I am a Ph.D. student in the computer science department at Portland State University, advised by Mark P. Jones. I work with the High Assurance Systems Programming project. My interests currently include programming language design, mathematical logic and GPGPU programming. Perhaps you'd like to hire me? If so, you might want to take a look at my CV.
Instances Chains and Type Classes: A Relational Approach. Committee draft, submitted April 5th. Defense expected May 2.
"Instance Chains: Type Class Programming Without Overlapping Instances," J. Garrett Morris and Mark P. Jones. In Proceedings of the 15th ACM SIGPLAN International Conference on Functional Programming (ICFP '10), Baltimore, Maryland, September 27-29, 2010. [ACM DL] [PDF]
"Experience Report: Using Hackage to Inform Language Design," J. Garrett Morris. In Proceedings of the 3rd ACM Symposium on Haskell (Haskell '10), Baltimore, Maryland, September 30, 2010. [ACM DL] [PDF]
Some of these papers are copyright ACM. These are the author's versions of the work. They are posted here by permission of ACM for your personal use. Not for redistribution. Please see each paper for the location of the defininitive version.