| Beluga: A framework for programming and reasoning with deductive systems (system description) B Pientka, J Dunfield International Joint Conference on Automated Reasoning (IJCAR), 15-21, 2010 | 159 | 2010 |
| Tridirectional typechecking J Dunfield, F Pfenning Principles of Programming Languages (POPL), 281-292, 2004 | 98 | 2004 |
| Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism J Dunfield, NR Krishnaswami International Conference on Functional Programming (ICFP), 2013 | 94 | 2013 |
| Programming with proofs and explicit contexts B Pientka, J Dunfield Principles and Practice of Declarative Programming (PPDP), 163-173, 2008 | 94 | 2008 |
| Type assignment for intersections and unions in call-by-value languages J Dunfield, F Pfenning Foundations of Software Science and Computation Structures (FoSSaCS), 250-266, 2003 | 78 | 2003 |
| A Unified System of Type Refinements J Dunfield Carnegie Mellon University, 2007 | 69 | 2007 |
| Elaborating intersection and union types J Dunfield Journal of Functional Programming 24 (2-3), 133-165, 2014 | 61 | 2014 |
| Incremental computation with names MA Hammer, J Dunfield, K Headley, N Labich, JS Foster, M Hicks, ... Proceedings of the 2015 ACM SIGPLAN International Conference on Object …, 2015 | 55 | 2015 |
| Type-directed automatic incrementalization Y Chen, J Dunfield, UA Acar Programming Language Design and Implementation (PLDI), 2012 | 50 | 2012 |
| Refined typechecking with Stardust J Dunfield Programming Languages meets Program Verification (PLPV), 21-32, 2007 | 33 | 2007 |
| Implicit self-adjusting computation for purely functional programs Y Chen, J Dunfield, MA Hammer, UA Acar International Conference on Functional Programming (ICFP) 46 (9), 129-141, 2011 | 29 | 2011 |
| Sums of uncertainty: refinements go gradual KA Jafery, J Dunfield Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017 | 27 | 2017 |
| Case analysis of higher-order data J Dunfield, B Pientka Electronic Notes in Theoretical Computer Science 228, 69-84, 2009 | 25 | 2009 |
| Bidirectional Typing J Dunfield, N Krishnaswami Computing Surveys 54 (5), 2021 | 22 | 2021 |
| Sound and complete bidirectional typechecking for higher-rank polymorphism with existentials and indexed types J Dunfield, NR Krishnaswami Proceedings of the ACM on Programming Languages 3 (POPL), 9, 2019 | 22 | 2019 |
| Implicit self-adjusting computation for purely functional programs Y Chen, J Dunfield, MA Hammer, UA Acar Journal of Functional Programming 24 (1), 56-112, 2014 | 18 | 2014 |
| Greedy bidirectional polymorphism J Dunfield ACM SIGPLAN Workshop on ML, 15-26, 2009 | 17 | 2009 |
| Combining two forms of type refinements J Dunfield School of Computer Science, Carnegie Mellon, 2002 | 14 | 2002 |
| Elaborating Evaluation-Order Polymorphism J Dunfield | 7 | 2015 |
| Covering all bases: design and implementation of case analysis for contextual objects B Pientka, J Dunfield Technical report, McGill University, 2010 | 7 | 2010 |
Brigitte PientkaMcGill UniversityVerified email at cs.mcgill.ca
