Haskell-style overloading is NP-hard (1994)

by Dennis Volpano
Venue:In Proceedings of ICCL’94, Fifth IEEE International Conference on Computer Languages