Concepedia

Jana Dunfield

JD

13

Publications

461

Citations

13

H-Index

2004

Active since

Affiliations

Max Planck Institute for Software Systems(Current)

McGill University

Carnegie Mellon University

University of British Columbia

University of Maryland, College Park

Jana Dunfield is an author at Max Planck Institute for Software Systems specializing in engineering, formal verification, and formal methods.

ORCID

Top concepts

Publications per year

2004–2016

13

Publications

13

Tridirectional typechecking

Jana Dunfield, Frank Pfenning · 2004 · 83 citations · Full text

Complete and easy bidirectional typechecking for higher-rank polymorphism

Jana Dunfield, Neelakantan R. Krishnaswami · 2013 · 81 citations

, , +13

Programming with proofs and explicit contexts

Brigitte Pientka, Jana Dunfield · 2008 · 72 citations

, , +15

Incremental computation with names

Matthew A. Hammer, Jana Dunfield, Kyle Headley et al. · 2015 · 41 citations · Full text

Refined typechecking with Stardust

Jana Dunfield · 2007 · 34 citations

, , +13

Rows per page

1–5 of 13