| |
| 2008 | ||
|---|---|---|
| 5 | EE | Nicolas Oury, Wouter Swierstra: The power of Pi. ICFP 2008: 39-50 |
| 4 | EE | Matthieu Sozeau, Nicolas Oury: First-Class Type Classes. TPHOLs 2008: 278-293 |
| 2007 | ||
| 3 | EE | Nicolas Oury: Pattern matching coverage checking with dependent types using set approximations. PLPV 2007: 47-56 |
| 2005 | ||
| 2 | EE | Nicolas Oury: Extensionality in the Calculus of Constructions. TPHOLs 2005: 278-293 |
| 2003 | ||
| 1 | EE | Nicolas Oury: Observational Equivalence and Program Extraction in the Coq Proof Assistant. TLCA 2003: 271-285 |
| 1 | Matthieu Sozeau | [4] |
| 2 | Wouter Swierstra | [5] |