| |
| 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] |