@article{schrijvers-2019-cochis,
title = {COCHIS: Stable and coherent implicits},
volume = {29},
DOI = {10.1017/S0956796818000242},
journal = {Journal of Functional Programming},
author = {SCHRIJVERS, TOM and OLIVEIRA, BRUNO C.D.S. and WADLER, PHILIP and MARNTIROSIAN, KOAR},
year = {2019},
pages = {e3}
}