Annotations for Intersection Typechecking von Dunfield, Joshua

Volltext

Untangling Typechecking of Intersections and Unions von Dunfield, Joshua

Volltext

Elaborating intersection and union types von DUNFIELD, JOSHUA

Volltext

Sound and complete bidirectional typechecking for higher-rank polymorphism with existentials and indexed types von Dunfield, Jana, Krishnaswami, Neelakantan R.

Volltext

Extensible Datasort Refinements von Dunfield, Jana

Volltext

Beluga: A Framework for Programming and Reasoning with Deductive Systems (System Description) von Pientka, Brigitte, Dunfield, Jana

Volltext

Implicit self-adjusting computation for purely functional programs von CHEN, YAN, DUNFIELD, JOSHUA, HAMMER, MATTHEW A., ACAR, UMUT A.

Volltext

Complete and easy bidirectional typechecking for higher-rank polymorphism von Dunfield, Jana, Krishnaswami, Neelakantan R.

Volltext

Elaborating intersection and union types von Dunfield, Jana

Volltext

Sums of uncertainty: refinements go gradual von Jafery, Khurram A., Dunfield, Jana

Volltext

Type-directed automatic incrementalization von Chen, Yan, Dunfield, Jana, Acar, Umut A.

Volltext

Case Analysis of Higher-Order Data von Dunfield, Jana, Pientka, Brigitte

Volltext

Implicit self-adjusting computation for purely functional programs von Chen, Yan, Dunfield, Jana, Hammer, Matthew A., Acar, Umut A.

Volltext

Tridirectional typechecking von Dunfield, Jana, Pfenning, Frank

Volltext