Trevor Jim

Jens Palsberg and Trevor Jim. Type Inference with Simple Selftypes is NP-complete. Nordic Journal of Computing, 4(3):259-286, Fall 1997. Abstract, References, etc.