Jana Dunfield - RankMe

33 papers A* 3A 7B 1C 1Journal 17Unranked 4

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