[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
Hi Philip, That might be *Modular Type Classes* by Derek Dreyer, Robert Harper, and Manuel M.T. Chakravarty. https://people.mpi-sws.org/~dreyer/papers/mtc/main-short.pdf https://people.mpi-sws.org/~dreyer/talks/popl07.ppt https://people.mpi-sws.org/~dreyer/papers/mtc/main-long.pdf Cheers, Steve. [Re-sending as apparently I wasn't subscribed to the list] On Mon, 3 Dec 2018 at 23:39, Philip Wadler <[email protected]> wrote: > [ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list > ] > > I am trying to track down a paper I once read about type classes and > modules. The key result I recall is that if an instance of a type class is > declared in a module then, to preserve coherence, signatures exported by > the module should not mention the type class. Can someone please point me > to the paper? Cheers, -- P > > . \ Philip Wadler, Professor of Theoretical Computer Science, > . /\ School of Informatics, University of Edinburgh > . / \ and Senior Research Fellow, IOHK > . http://homepages.inf.ed.ac.uk/wadler/ > > Too brief? Here's why: http://www.emailcharter.org/ > The University of Edinburgh is a charitable body, registered in > Scotland, with registration number SC005336. >
