Jana Dunfield

Publication Activity (10 Years)

Years Active: 2003-2023
Publications (10 Years): 12

Top Topics

Inherent Uncertainty

Functional Programs

Top Venues

J. Funct. Program.

Proc. ACM Program. Lang.

Publications

Dimitrios J. Economou, Neel Krishnaswami, Jana Dunfield
Focusing on Refinement Typing. ACM Trans. Program. Lang. Syst. 45 (4) (2023)
Dimitrios J. Economou, Neel Krishnaswami, Jana Dunfield
Focusing on Liquid Refinement Typing. CoRR (2022)
Jana Dunfield, Neel Krishnaswami
Bidirectional Typing. ACM Comput. Surv. 54 (5) (2021)
Jana Dunfield, Neelakantan R. Krishnaswami
Sound and complete bidirectional typechecking for higher-rank polymorphism with existentials and indexed types. Proc. ACM Program. Lang. 3 (POPL) (2019)
Jana Dunfield, Neel Krishnaswami
Bidirectional Typing. CoRR (2019)
Matthew A. Hammer, Jana Dunfield, Kyle Headley, Monal Narasimhamurthy, Dimitrios J. Economou
Fungi: Typed incremental computation with names. CoRR (2018)
Jana Dunfield
Extensible Datasort Refinements. CoRR (2017)
Khurram A. Jafery, Jana Dunfield
Sums of uncertainty: refinements go gradual. POPL (2017)
Jana Dunfield
Extensible Datasort Refinements. ESOP (2017)
Jana Dunfield, Neelakantan R. Krishnaswami
Sound and Complete Bidirectional Typechecking for Higher-Rank Polymorphism with Existentials and Indexed Types. CoRR (2016)
Matthew A. Hammer, Jana Dunfield
Typed Adapton: Refinement types for nominal memoization. CoRR (2016)
Khurram A. Jafery, Jana Dunfield
Sums of Uncertainty: Refinements Go Gradual. CoRR (2016)
Matthew A. Hammer, Jana Dunfield, Kyle Headley, Nicholas Labich, Jeffrey S. Foster, Michael W. Hicks, David Van Horn
Incremental computation with names. OOPSLA (2015)
Matthew A. Hammer, Jana Dunfield, Kyle Headley, Nicholas Labich, Jeffrey S. Foster, Michael Hicks, David Van Horn
Incremental Computation with Names. CoRR (2015)
Jana Dunfield
Elaborating Evaluation-Order Polymorphism. CoRR (2015)
Jana Dunfield
Elaborating evaluation-order polymorphism. ICFP (2015)
Jana Dunfield
Elaborating intersection and union types. J. Funct. Program. 24 (2-3) (2014)
Yan Chen, Jana Dunfield, Matthew A. Hammer, Umut A. Acar
Implicit self-adjusting computation for purely functional programs. J. Funct. Program. 24 (1) (2014)
Jana Dunfield, Neelakantan R. Krishnaswami
Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism. CoRR (2013)
Jana Dunfield, Neelakantan R. Krishnaswami
Complete and easy bidirectional typechecking for higher-rank polymorphism. ICFP (2013)
Yan Chen, Jana Dunfield, Umut A. Acar
Type-directed automatic incrementalization. PLDI (2012)
Jana Dunfield
Elaborating Intersection and Union Types CoRR (2012)
Jana Dunfield
Elaborating intersection and union types. ICFP (2012)
Jana Dunfield
Annotations for Intersection Typechecking. ITRS (2012)
Yan Chen, Jana Dunfield, Matthew A. Hammer, Umut A. Acar
Implicit self-adjusting computation for purely functional programs. ICFP (2011)
Brigitte Pientka, Jana Dunfield
Beluga: A Framework for Programming and Reasoning with Deductive Systems (System Description). IJCAR (2010)
Jana Dunfield
Untangling Typechecking of Intersections and Unions ITRS (2010)
Jana Dunfield, Brigitte Pientka
Case Analysis of Higher-Order Data. Electron. Notes Theor. Comput. Sci. 228 (2009)
Brigitte Pientka, Jana Dunfield
Programming with proofs and explicit contexts. PPDP (2008)
Jana Dunfield
Refined typechecking with Stardust. PLPV (2007)
Jana Dunfield, Frank Pfenning
Tridirectional typechecking. POPL (2004)
Jana Dunfield, Frank Pfenning
Type Assignment for Intersections and Unions in Call-by-Value Languages. FoSSaCS (2003)