Jana Dunfield

According to our database, Jana Dunfield authored at least 22 papers between 2003 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Focusing on Refinement Typing.

Dimitrios J. Economou, Neel Krishnaswami, Jana Dunfield

ACM Trans. Program. Lang. Syst., December, 2023

2022

Bidirectional Typing.

Jana Dunfield, Neel Krishnaswami

ACM Comput. Surv., 2022

Focusing on Liquid Refinement Typing.

Dimitrios J. Economou, Neel Krishnaswami, Jana Dunfield

CoRR, 2022

2019

Sound and complete bidirectional typechecking for higher-rank polymorphism with existentials and indexed types.

Jana Dunfield, Neelakantan R. Krishnaswami

Proc. ACM Program. Lang., 2019

2018

Fungi: Typed incremental computation with names.

Matthew A. Hammer, Jana Dunfield, Kyle Headley, Monal Narasimhamurthy, Dimitrios J. Economou

CoRR, 2018

2017

Sums of uncertainty: refinements go gradual.

Khurram A. Jafery, Jana Dunfield

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Extensible Datasort Refinements.

Jana Dunfield

Proceedings of the Programming Languages and Systems, 2017

2016

Typed Adapton: Refinement types for nominal memoization.

Matthew A. Hammer, Jana Dunfield

CoRR, 2016

2015

Incremental computation with names.

Matthew A. Hammer, Jana Dunfield, Kyle Headley, Nicholas Labich, Jeffrey S. Foster, Michael W. Hicks, David Van Horn

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Elaborating evaluation-order polymorphism.

Jana Dunfield

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

2014

Elaborating intersection and union types.

Jana Dunfield

J. Funct. Program., 2014

Implicit self-adjusting computation for purely functional programs.

Yan Chen, Jana Dunfield, Matthew A. Hammer, Umut A. Acar

J. Funct. Program., 2014

2013

Complete and easy bidirectional typechecking for higher-rank polymorphism.

Jana Dunfield, Neelakantan R. Krishnaswami

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013

2012

Annotations for Intersection Typechecking.

Jana Dunfield

Proceedings of the Proceedings Sixth Workshop on Intersection Types and Related Systems, 2012

Type-directed automatic incrementalization.

Yan Chen, Jana Dunfield, Umut A. Acar

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

2010

Untangling Typechecking of Intersections and Unions

Jana Dunfield

Proceedings of the Proceedings Fifth Workshop on Intersection Types and Related Systems, 2010

Beluga: A Framework for Programming and Reasoning with Deductive Systems (System Description).

Brigitte Pientka, Jana Dunfield

Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010

2008

Case Analysis of Higher-Order Data.

Jana Dunfield, Brigitte Pientka

Proceedings of the International Workshop on Logical Frameworks and Metalanguages: Theory and Practice, 2008

Programming with proofs and explicit contexts.

Brigitte Pientka, Jana Dunfield

Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2008

2007

Refined typechecking with Stardust.

Jana Dunfield

Proceedings of the ACM Workshop Programming Languages meets Program Verification, 2007

2004

Tridirectional typechecking.

Jana Dunfield, Frank Pfenning

Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2004

2003

Type Assignment for Intersections and Unions in Call-by-Value Languages.

Jana Dunfield, Frank Pfenning

Proceedings of the Foundations of Software Science and Computational Structures, 2003