Jesper Cockx

From MaRDI portal
Person:2819685

Available identifiers

zbMath Open cockx.jesperMaRDI QIDQ2819685

List of research outcomes





PublicationDate of PublicationType
Type Theory Unchained : Extending Agda with User-Defined Rewrite Rules2023-10-27Paper
Leibniz equality is isomorphic to Martin-Löf identity, parametrically2020-09-09Paper
Elaborating dependent (co)pattern matching: No pattern left behind2020-05-26Paper
Eliminating dependent pattern matching without K2017-10-23Paper
Unifiers as equivalences: proof-relevant unification of dependently typed data2017-05-10Paper
Pattern matching without K2016-09-29Paper
Overlapping and Order-Independent Patterns2014-04-16Paper

Research outcomes over time

This page was built for person: Jesper Cockx

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2819685&oldid=6718428"
Powered by MediaWiki