@inproceedings{mellies_zeilberger_2015,
 title = {Functors are type refinement systems},
 author = {Melli\`es, Paul-Andr\'e and Zeilberger, Noam},
 year = {2015},
 booktitle = {Proceedings of the 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)},
 pages = {3--16},
 url = {http://noamz.org/papers/funts.pdf},
 doi = {10.1145/2676726.2676970}
}