Nicolas Oury
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Equilibrium and termination | 2021-02-16 | Paper |
| Handlers in action Proceedings of the 18th ACM SIGPLAN international conference on Functional programming | 2015-03-30 | Paper |
| The power of Pi Proceedings of the 13th ACM SIGPLAN international conference on Functional programming | 2015-03-16 | Paper |
| Canonical Labelling of Site Graphs | 2013-06-10 | Paper |
| Equilibrium and termination. II: The case of Petri nets Mathematical Structures in Computer Science | 2013-04-29 | Paper |
| Multi-level modelling via stochastic multi-level multiset rewriting Mathematical Structures in Computer Science | 2013-04-29 | Paper |
| : dependent types without the sugar Functional and Logic Programming | 2010-05-04 | Paper |
| First-Class Type Classes Lecture Notes in Computer Science | 2008-12-04 | Paper |
| Theorem Proving in Higher Order Logics Lecture Notes in Computer Science | 2006-07-06 | Paper |
| scientific article; zbMATH DE number 2061716 (Why is no real title available?) | 2004-03-22 | Paper |
Research outcomes over time
This page was built for person: Nicolas Oury
