Nicolas Oury

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2008

5 Nicolas Oury, Wouter Swierstra: The power of Pi. ICFP 2008: 39-50

4 Matthieu Sozeau, Nicolas Oury: First-Class Type Classes. TPHOLs 2008: 278-293

2007

3 Nicolas Oury: Pattern matching coverage checking with dependent types using set approximations. PLPV 2007: 47-56

2005

2 Nicolas Oury: Extensionality in the Calculus of Constructions. TPHOLs 2005: 278-293

2003

1 Nicolas Oury: Observational Equivalence and Program Extraction in the Coq Proof Assistant. TLCA 2003: 271-285

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

Coauthor Index

1 Matthieu Sozeau [4]

2 Wouter Swierstra [5]

Colors in the list of coauthors