[EvilTerran]

There's Hoogle, for Haskell: https://hoogle.haskell.org/

I don't know if it implements any techniques from that paper, but it does let you search for definitions by type signature. Of note, it also does a pretty good job of finding results with different-but-compatible types, which is very valuable in a Haskell context given all the polymorphism.