Follow
Jana Dunfield
Jana Dunfield
Verified email at queensu.ca - Homepage
Title
Cited by
Cited by
Year
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
1592010
Tridirectional typechecking
J Dunfield, F Pfenning
Principles of Programming Languages (POPL), 281-292, 2004
982004
Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism
J Dunfield, NR Krishnaswami
International Conference on Functional Programming (ICFP), 2013
942013
Programming with proofs and explicit contexts
B Pientka, J Dunfield
Principles and Practice of Declarative Programming (PPDP), 163-173, 2008
942008
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
782003
A Unified System of Type Refinements
J Dunfield
Carnegie Mellon University, 2007
692007
Elaborating intersection and union types
J Dunfield
Journal of Functional Programming 24 (2-3), 133-165, 2014
612014
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
552015
Type-directed automatic incrementalization
Y Chen, J Dunfield, UA Acar
Programming Language Design and Implementation (PLDI), 2012
502012
Refined typechecking with Stardust
J Dunfield
Programming Languages meets Program Verification (PLPV), 21-32, 2007
332007
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
292011
Sums of uncertainty: refinements go gradual
KA Jafery, J Dunfield
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017
272017
Case analysis of higher-order data
J Dunfield, B Pientka
Electronic Notes in Theoretical Computer Science 228, 69-84, 2009
252009
Bidirectional Typing
J Dunfield, N Krishnaswami
Computing Surveys 54 (5), 2021
222021
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
222019
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
182014
Greedy bidirectional polymorphism
J Dunfield
ACM SIGPLAN Workshop on ML, 15-26, 2009
172009
Combining two forms of type refinements
J Dunfield
School of Computer Science, Carnegie Mellon, 2002
142002
Elaborating Evaluation-Order Polymorphism
J Dunfield
72015
Covering all bases: design and implementation of case analysis for contextual objects
B Pientka, J Dunfield
Technical report, McGill University, 2010
72010
The system can't perform the operation now. Try again later.
Articles 1–20