Still relevant but apparently unknown to the trendy conference speakers and FP ranters:

http://www.cs.toronto.edu/~hehner/aPToP/