 | 2009 |
|---|
| 4 |       | Vincent Balat,
Jérôme Vouillon,
Boris Yakobowski:
Experience report: ocsigen, a web programming framework.
ICFP 2009: 311-316 |
| 2008 |
|---|
| 3 | | Didier Rémy,
Boris Yakobowski:
From ML to MLF: graphic type constraints with efficient type inference.
ICFP 2008: 63-74 |
| 2007 |
|---|
| 2 | | Didier Rémy,
Boris Yakobowski:
A graphical presentation of MLF types with a linear-time unification algorithm.
TLDI 2007: 27-38 |
| 2004 |
|---|
| 1 | | J. B. Wells,
Boris Yakobowski:
Graph-Based Proof Counting and Enumeration with Applications for Program Fragment Synthesis.
LOPSTR 2004: 262-277 |
