| |
| 2008 | ||
|---|---|---|
| 3 | EE | Didier Rémy, Boris Yakobowski: From ML to MLF: graphic type constraints with efficient type inference. ICFP 2008: 63-74 |
| 2007 | ||
| 2 | EE | Didier Rémy, Boris Yakobowski: A graphical presentation of MLF types with a linear-time unification algorithm. TLDI 2007: 27-38 |
| 2004 | ||
| 1 | EE | J. B. Wells, Boris Yakobowski: Graph-Based Proof Counting and Enumeration with Applications for Program Fragment Synthesis. LOPSTR 2004: 262-277 |
| 1 | Didier Rémy | [2] [3] |
| 2 | J. B. Wells | [1] |