Type Inference with Simple Selftypes is NP-complete (1997)

Cached

Download Links

by Jens Palsberg , Trevor Jim
Citations:11 - 1 self