Search the dblp DataBase
Nicolas Oury :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Nicolas Oury Observational Equivalence and Program Extraction in the Coq Proof Assistant. [Citation Graph (0, 0)][DBLP ] TLCA, 2003, pp:271-285 [Conf ] Nicolas Oury Extensionality in the Calculus of Constructions. [Citation Graph (0, 0)][DBLP ] TPHOLs, 2005, pp:278-293 [Conf ] Nicolas Oury Pattern matching coverage checking with dependent types using set approximations. [Citation Graph (0, 0)][DBLP ] PLPV, 2007, pp:47-56 [Conf ] PiSigma: Dependent Types without the Sugar. [Citation Graph (, )][DBLP ] The power of Pi. [Citation Graph (, )][DBLP ] First-Class Type Classes. [Citation Graph (, )][DBLP ] Equilibrium and Termination [Citation Graph (, )][DBLP ] Search in 0.001secs, Finished in 0.001secs