Joshua Dunfield

Available identifiers

zbMath Open dunfield.joshuaMaRDI QIDQ2804941

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4993852	2021-06-10	Paper
https://portal.mardi4nfdi.de/entity/Q4964692	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Joshua Dunfield