Nicolas Oury
Title
Cited by
Cited by
Year
First-class type classes
M Sozeau, N Oury
International Conference on Theorem Proving in Higher Order Logics, 278-293, 2008
2572008
Handlers in action
O Kammar, S Lindley, N Oury
ACM SIGPLAN Notices 48 (9), 145-158, 2013
1452013
The power of Pi
N Oury, W Swierstra
Proceedings of the 13th ACM SIGPLAN international conference on Functional …, 2008
962008
Lecture notes in computer science
G Goos, J Hartmanis
Springer, 1973
681973
Extensionality in the calculus of constructions
N Oury
International Conference on Theorem Proving in Higher Order Logics, 278-293, 2005
432005
ΠΣ: Dependent types without the sugar
T Altenkirch, NA Danielsson, A Löh, N Oury
International Symposium on Functional and Logic Programming, 40-55, 2010
372010
Multi-level modelling via stochastic multi-level multiset rewriting
N Oury, G Plotkin
Mathematical Structures in Computer Science 23 (2), 471-503, 2013
152013
Coinductive types and type preservation
N Oury
Message on the coq-club mailing list, 2008
112008
Equilibrium and termination II: the case of Petri Nets
V Danos, N Oury
Mathematical Structures in Computer Science 23 (2), 290-307, 2013
102013
Coloured stochastic multilevel multiset rewriting
N Oury, GD Plotkin
Proceedings of the 9th International Conference on Computational Methods in …, 2011
102011
Equilibrium and termination
V Danos, N Oury
arXiv preprint arXiv:1006.1430, 2010
82010
Pattern matching coverage checking with dependent types using set approximations
N Oury
Proceedings of the 2007 workshop on Programming languages meets program …, 2007
72007
Egalité et filtrage avec types dépendants dans le calcul des constructions inductives
N Oury
Paris 11, 2006
72006
Multi-level modelling via stochastic multi-level multiset rewriting
N Oury, G Plotkin
Mathematical Structures in Computer Science, 2011
62011
Bio Simulators: a web UI for biological simulation
M Pedersen, N Oury, C Gravill, A Phillips
Bioinformatics 30 (10), 1491-1492, 2014
52014
Canonical labelling of site graphs
N Oury, M Pedersen, R Petersen
arXiv preprint arXiv:1306.2405, 2013
42013
An Epigram implementation
E Brady, J Chapman, PÉ Dagand, A Gundry, C McBride, P Morris, ...
URL http://www. e-pig. org, 2011
42011
nΣ: A Core Language for Dependently Typed Programming
T Altenkirch, N Oury
42008
Compression des traces de perte de paquets multicasts sur internet
N Oury, T Friedman
Proceedings of Journées Doctorales Informatique et Réseaux (JDIR), 2000
42000
Observational equivalence and program extraction in the Coq proof assistant
N Oury
International Conference on Typed Lambda Calculi and Applications, 271-285, 2003
32003
The system can't perform the operation now. Try again later.
Articles 1–20