Joshua Dunfield

Available identifiers

zbMath Open dunfield.joshuaMaRDI QIDQ2804941

List of research outcomes

Publication	Date of Publication	Type
Annotations for intersection typechecking	2021-06-10	Paper
Untangling typechecking of intersections and unions	2021-03-03	Paper
Sums of uncertainty: refinements go gradual	2017-10-20	Paper
Extensible Datasort Refinements	2017-05-19	Paper
Elaborating evaluation-order polymorphism	2017-05-10	Paper
Case analysis of higher-order data	2016-05-06	Paper
Tridirectional typechecking	2015-11-11	Paper
Complete and easy bidirectional typechecking for higher-rank polymorphism	2015-03-30	Paper
Implicit self-adjusting computation for purely functional programs	2015-03-05	Paper
Implicit self-adjusting computation for purely functional programs	2014-08-14	Paper
Elaborating intersection and union types	2014-08-14	Paper
Elaborating intersection and union types	2014-07-21	Paper
Beluga: A Framework for Programming and Reasoning with Deductive Systems (System Description)	2010-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q4417863	2003-07-30	Paper

Research outcomes over time

This page was built for person: Joshua Dunfield