Functors are Type Refinement Systems.

Paul-Andr Mellis, Noam Zeilberger

Browse the full POPL paper archive.