20202020

Research output per year

If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where J.G.H. Cockx is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

Elaborating dependent (co)pattern matching: No pattern left behind

Cockx, J. & Abel, A., 2020, In : Journal of Functional Programming. 30, e2.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
  • 36 Downloads (Pure)

    Leibniz equality is isomorphic to Martin-Löf identity, parametrically

    Abel, A., Cockx, J., Devriese, D., Timany, A. & Wadler, P., 2020, In : Journal of Functional Programming. 30, p. 1-14 14 p., e17.

    Research output: Contribution to journalArticleScientificpeer-review