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: Mathematics Source
Full text is not displayed to guests.
Description
ISSN:09567968
DOI:10.1017/S0956796818000242