Haskell-style Overloading is NP-hard (1994)

by Dennis M Volpano
Venue:In Proceedings of the 1994 International Conference on Computer Languages