Joshua Dunfield
From MaRDI portal
Person:2804941
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
