| 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 | 178 | 2010 |
| Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism J Dunfield, NR Krishnaswami International Conference on Functional Programming (ICFP), 2013 | 118 | 2013 |
| Tridirectional typechecking J Dunfield, F Pfenning Principles of Programming Languages (POPL), 281-292, 2004 | 110 | 2004 |
| Programming with proofs and explicit contexts B Pientka, J Dunfield Principles and Practice of Declarative Programming (PPDP), 163-173, 2008 | 105 | 2008 |
| Bidirectional Typing J Dunfield, N Krishnaswami Computing Surveys 54 (5), 2021 | 100 | 2021 |
| Elaborating intersection and union types J Dunfield International Conference on Functional Programming (ICFP), 2012 | 89 | 2012 |
| 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 | 84 | 2003 |
| A Unified System of Type Refinements J Dunfield Carnegie Mellon University, 2007 | 76 | 2007 |
| 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 | 64 | 2015 |
| Type-directed automatic incrementalization Y Chen, J Dunfield, UA Acar Programming Language Design and Implementation (PLDI), 2012 | 57 | 2012 |
| Sums of uncertainty: refinements go gradual KA Jafery, J Dunfield Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017 | 38 | 2017 |
| Refined typechecking with Stardust J Dunfield Programming Languages meets Program Verification (PLPV), 21-32, 2007 | 38 | 2007 |
| 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 | 32 | 2019 |
| 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 | 30 | 2011 |
| Case analysis of higher-order data J Dunfield, B Pientka Electronic Notes in Theoretical Computer Science 228, 69-84, 2009 | 27 | 2009 |
| 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 | 21 | 2014 |
| Greedy bidirectional polymorphism J Dunfield ACM SIGPLAN Workshop on ML, 15-26, 2009 | 18 | 2009 |
| Combining two forms of type refinements J Dunfield School of Computer Science, Carnegie Mellon, 2002 | 14 | 2002 |
| Elaborating Evaluation-Order Polymorphism J Dunfield | 8 | 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
