Type Assignment for Intersections and Unions in Call-by-Value Languages. - Jana Dunfield; Frank Pfenning (FoSSaCS, 2003)

Tridirectional typechecking. - Jana Dunfield; Frank Pfenning (POPL, 2004)

Refined typechecking with Stardust. - Jana Dunfield (PLPV, 2007)

Programming with proofs and explicit contexts. - Brigitte Pientka; Jana Dunfield (PPDP, 2008)

Case Analysis of Higher-Order Data. - Jana Dunfield; Brigitte Pientka (LFMTP@LICS, 2008)

Beluga: A Framework for Programming and Reasoning with Deductive Systems (System Description). - Brigitte Pientka; Jana Dunfield (IJCAR, 2010)

Untangling Typechecking of Intersections and Unions - Jana Dunfield (ITRS, 2010)

Type-directed automatic incrementalization. - Yan Chen 001; Jana Dunfield; Umut A. Acar (PLDI, 2012)

Annotations for Intersection Typechecking. - Jana Dunfield (ITRS, 2012)

Complete and easy bidirectional typechecking for higher-rank polymorphism. - Jana Dunfield; Neelakantan R. Krishnaswami (ICFP, 2013)

Implicit self-adjusting computation for purely functional programs. - Yan Chen 001; Jana Dunfield; Matthew A. Hammer; Umut A. Acar (J. Funct. Program., 2014)

Elaborating intersection and union types. - Jana Dunfield (J. Funct. Program., 2014)

Elaborating evaluation-order polymorphism. - Jana Dunfield (ICFP, 2015)

Incremental computation with names. - Matthew A. Hammer; Jana Dunfield; Kyle Headley; Nicholas Labich; Jeffrey S. Foster; Michael W. Hicks; David Van Horn (OOPSLA, 2015)

Typed Adapton: Refinement types for nominal memoization. - Matthew A. Hammer; Jana Dunfield (CoRR, 2016)

Extensible Datasort Refinements. - Jana Dunfield (ESOP, 2017)

Sums of uncertainty: refinements go gradual. - Khurram A. Jafery; Jana Dunfield (POPL, 2017)

Fungi: Typed incremental computation with names. - Matthew A. Hammer; Jana Dunfield; Kyle Headley; Monal Narasimhamurthy; Dimitrios J. Economou (CoRR, 2018)

Sound and complete bidirectional typechecking for higher-rank polymorphism with existentials and indexed types. - Jana Dunfield; Neelakantan R. Krishnaswami (Proc. ACM Program. Lang., 2019)

Focusing on Liquid Refinement Typing. - Dimitrios J. Economou; Neel Krishnaswami; Jana Dunfield (CoRR, 2022)

Bidirectional Typing. - Jana Dunfield; Neel Krishnaswami (ACM Comput. Surv., 2022)

Focusing on Refinement Typing. - Dimitrios J. Economou; Neel Krishnaswami; Jana Dunfield (ACM Trans. Program. Lang. Syst., 2023)

Flattening subtyping by eta expansion. - Jana Dunfield (CoRR, 2024)