j garrett morris

about me

I've moved to the University of Edinburgh! You can find the current version of my homepage by following this link.

While at Portland State, I was a Ph.D. student in the computer science department, advised by Mark P. Jones. I worked with the High Assurance Systems Programming project on the design and implementation of the programming language Habit, and of its class system in particular.

dissertation

Instances Chains and Type Classes: A Relational Approach. [PDF]

publications

"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.