Joshua Dunfield
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Annotations for intersection typechecking | 2021-06-10 | Paper |
| Annotations for intersection typechecking (available as arXiv preprint) | 2021-06-10 | Paper |
| Untangling typechecking of intersections and unions | 2021-03-03 | Paper |
| Untangling typechecking of intersections and unions (available as arXiv preprint) | 2021-03-03 | Paper |
| Sums of uncertainty: refinements go gradual Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages | 2017-10-20 | Paper |
| Extensible Datasort Refinements Programming Languages and Systems | 2017-05-19 | Paper |
| Elaborating evaluation-order polymorphism Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming | 2017-05-10 | Paper |
| Case analysis of higher-order data Electronic Notes in Theoretical Computer Science | 2016-05-06 | Paper |
| Tridirectional typechecking Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-11-11 | Paper |
| Complete and easy bidirectional typechecking for higher-rank polymorphism Proceedings of the 18th ACM SIGPLAN international conference on Functional programming | 2015-03-30 | Paper |
| Implicit self-adjusting computation for purely functional programs Proceedings of the 16th ACM SIGPLAN international conference on Functional programming | 2015-03-05 | Paper |
| Implicit self-adjusting computation for purely functional programs Journal of Functional Programming | 2014-08-14 | Paper |
| Elaborating intersection and union types Journal of Functional Programming | 2014-08-14 | Paper |
| Elaborating intersection and union types Proceedings of the 17th ACM SIGPLAN international conference on Functional programming | 2014-07-21 | Paper |
| Beluga: A Framework for Programming and Reasoning with Deductive Systems (System Description) Automated Reasoning | 2010-09-14 | Paper |
| scientific article; zbMATH DE number 1956517 (Why is no real title available?) | 2003-07-30 | Paper |
Research outcomes over time
This page was built for person: Joshua Dunfield
