| |
| 2009 | ||
|---|---|---|
| 5 | EE | Joshua Dunfield, Brigitte Pientka: Case Analysis of Higher-Order Data. Electr. Notes Theor. Comput. Sci. 228: 69-84 (2009) |
| 2008 | ||
| 4 | EE | Brigitte Pientka, Joshua Dunfield: Programming with proofs and explicit contexts. PPDP 2008: 163-173 |
| 2007 | ||
| 3 | EE | Joshua Dunfield: Refined typechecking with Stardust. PLPV 2007: 21-32 |
| 2004 | ||
| 2 | EE | Joshua Dunfield, Frank Pfenning: Tridirectional typechecking. POPL 2004: 281-292 |
| 2003 | ||
| 1 | EE | Joshua Dunfield, Frank Pfenning: Type Assignment for Intersections and Unions in Call-by-Value Languages. FoSSaCS 2003: 250-266 |
| 1 | Frank Pfenning | [1] [2] |
| 2 | Brigitte Pientka | [4] [5] |