COCHIS: Stable and coherent implicits.
Saved in:
| Title: | COCHIS: Stable and coherent implicits. |
|---|---|
| Authors: | SCHRIJVERS, TOM1 tom.schrijvers@cs.kuleuven.be, OLIVEIRA, BRUNO C.D.S.2 bruno@cs.hku.hk, WADLER, PHILIP3 wadler@inf.ed.ac.uk, MARNTIROSIAN, KOAR1 klara.mar@cs.kuleuven.be |
| Source: | Journal of Functional Programming. 2019, Vol. 29, p1-82. 82p. |
| Database: | Mathematics Source |
|
Full text is not displayed to guests.
Login for full access.
|
|
Be the first to leave a comment!
