I can't find anything connecting Quine's Predicate Functor Logic to Computer Science in general.
But I'm somehow convinced type classes are essentially an encoding of predicate functors, especially once you think about how we simulate type classes in Scala...