View in EDS HTML Full Text PDF Full Text

COCHIS: Stable and coherent implicits.

Saved in:
Bibliographic Details
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: Applied Science & Technology Source
Full text is not displayed to guests.
Description
ISSN:09567968
DOI:10.1017/S0956796818000242