dblp.uni-trier.dewww.uni-trier.de

Nicolas Oury

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Matthieu Sozeau [4]
2Wouter Swierstra [5]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)