[eli_gottlieb]

Favorite PL paper for balancing practicality and theory: http://ropas.snu.ac.kr/~bruno/papers/TypeClasses.pdf

Favorite paper/dissertation for sheer simplicity, elegance, and far-reaching power of the approach to the problem: http://web.mit.edu/vkm/www/vkm-dissertation.pdf