Nicolas Tabareau

Présentation

Publications

Article dans une revue (33)

The Rewster: Type Preserving Rewrite Rules for the Rocq Prover Yann Leray,Gaëtan Gilbert,Nicolas Tabareau,Théo Winterhalter Journal of Automated Reasoning, 2026, 70 (7), ⟨10.1007/s10817-026-09753-0⟩ Article dans une revue hal-05294553v2
Bounded Sort Polymorphism with Elimination Constraints Johann Rosain,Tomás Díaz,Kenji Maillard,Matthieu Sozeau,Nicolas Tabareauet al. Proceedings of the ACM on Programming Languages, 2026, 10, ⟨10.1145/3776732⟩ Article dans une revue hal-05372721v2
All Your Base Are Belong to Us Josselin Poiret,Gaëtan Gilbert,Kenji Maillard,Pierre-Marie Pédrot,Matthieu Sozeauet al. Proceedings of the ACM on Programming Languages, 2025, 9, pp.1-34. ⟨10.1145/3704912⟩ Article dans une revue hal-04801739v1
Observational Equality Meets CIC Loïc Pujet,Yann Leray,Nicolas Tabareau ACM Transactions on Programming Languages and Systems (TOPLAS), 2025, 47 (2), pp.1-35. ⟨10.1145/3719342⟩ Article dans une revue hal-05085635v1
Robust Dynamic Embedding for Gradual Typing * Koen Jacobs,Matías Toro,Nicolas Tabareau,Éric Tanter Proceedings of the ACM on Programming Languages, 2025, 9 (ICFP), pp.1-26. ⟨10.1145/3747507⟩ Article dans une revue hal-05162302v1
Correct and Complete Type Checking and Certified Erasure for Coq, in Coq Matthieu Sozeau,Yannick Forster,Meven Lennon-Bertrand,Jakob Botsch Nielsen,Nicolas Tabareauet al. Journal of the ACM (JACM), 2024, pp.1-76. ⟨10.1145/3706056⟩ Article dans une revue hal-04077552v3
Gradual Indexed Inductive Types Mara Malewski,Kenji Maillard,Nicolas Tabareau,Éric Tanter Proceedings of the ACM on Programming Languages, 2024, 8 (ICFP), pp.544-572. ⟨10.1145/3674644⟩ Article dans une revue hal-04681546v1
Verified Extraction from Coq to OCaml Yannick Forster,Matthieu Sozeau,Nicolas Tabareau Proceedings of the ACM on Programming Languages, 2024, 8 (PLDI), pp.52-75. ⟨10.1145/3656379⟩ Article dans une revue hal-04329663v1
Impredicative Observational Equality Loïc Pujet,Nicolas Tabareau Proceedings of the ACM on Programming Languages, 2023, Proceedings of the ACM on programming languages, 7 (POPL), pp.74. ⟨10.1145/3571739⟩ Article dans une revue hal-03857705v2
Gradualizing the Calculus of Inductive Constructions Meven Lennon-Bertrand,Kenji Maillard,Nicolas Tabareau,Éric Tanter ACM Transactions on Programming Languages and Systems (TOPLAS), 2022, ⟨10.1145/3495528⟩ Article dans une revue hal-02896776v5
A Reasonably Gradual Type Theory Kenji Maillard,Meven Lennon-Bertrand,Nicolas Tabareau,Éric Tanter Proceedings of the ACM on Programming Languages, In press, ⟨10.1145/3547655⟩ Article dans une revue hal-03596652v2
Observational Equality: Now For Good Loïc Pujet,Nicolas Tabareau Proceedings of the ACM on Programming Languages, 2022, 6 (POPL), pp.1-29. ⟨10.1145/3498693⟩ Article dans une revue hal-03367052v4
The Taming of the Rew: A Type Theory with Computational Assumptions Jesper Cockx,Nicolas Tabareau,Théo Winterhalter Proceedings of the ACM on Programming Languages, 2021, POPL 2021, ⟨10.1145/3434341⟩ Article dans une revue hal-02901011v2
The Marriage of Univalence and Parametricity Nicolas Tabareau,Éric Tanter,Matthieu Sozeau Journal of the ACM (JACM), 2021, 68 (1), pp.1-44. ⟨10.1145/3429979⟩ Article dans une revue hal-03120580v1
The Fire Triangle Pierre-Marie Pédrot,Nicolas Tabareau Proceedings of the ACM on Programming Languages, 2020, pp.1-28. ⟨10.1145/3371126⟩ Article dans une revue hal-02383109v1
Model structure on the universe of all types in interval type theory Simon Boulier,Nicolas Tabareau Mathematical Structures in Computer Science, 2020, pp.1-32. ⟨10.1017/S0960129520000213⟩ Article dans une revue hal-02966633v1
Coq Coq Correct! Verification of Type Checking and Erasure for Coq, in Coq Matthieu Sozeau,Simon Boulier,Yannick Forster,Nicolas Tabareau,Théo Winterhalter Proceedings of the ACM on Programming Languages, 2020, pp.1-28. ⟨10.1145/3371076⟩ Article dans une revue hal-02380196v2
The MetaCoq Project Matthieu Sozeau,Abhishek Anand,Simon Boulier,Cyril Cohen,Yannick Forsteret al. Journal of Automated Reasoning, 2020, ⟨10.1007/s10817-019-09540-0⟩ Article dans une revue hal-02167423v1
Definitional Proof-Irrelevance without K Gaëtan Gilbert,Jesper Cockx,Matthieu Sozeau,Nicolas Tabareau Proceedings of the ACM on Programming Languages, 2019, POPL'19, pp.1-28. ⟨10.1145/3290316⟩ Article dans une revue hal-01859964v2
Chemical foundations of distributed aspects Nicolas Tabareau,Éric Tanter Distributed Computing, 2019, 32 (3), pp.193-216. ⟨10.1007/s00446-018-0334-6⟩ Article dans une revue hal-01811884v1
A Reasonably Exceptional Type Theory Pierre-Marie Pédrot,Nicolas Tabareau,Hans Jacob Fehrmann,Éric Tanter Proceedings of the ACM on Programming Languages, 2019, Issue ICFP, 3, pp.1-29. ⟨10.1145/3341712⟩ Article dans une revue hal-02189128v1
Equivalences for Free Nicolas Tabareau,Éric Tanter,Matthieu Sozeau Proceedings of the ACM on Programming Languages, 2018, ICFP'18, 2 (ICFP), pp.1-29. ⟨10.1145/3234615⟩ Article dans une revue hal-01559073v6
An explicit formula for the free exponential modality of linear logic Paul-André Melliès,Nicolas Tabareau,Christine Tasson Mathematical Structures in Computer Science, 2018, 28 (7), pp.1253-1286. ⟨10.1017/S0960129516000426⟩ Article dans une revue hal-01992148v1
Preface: Special Issue on Homotopy Type Theory and Univalent Foundations Peter Lefanu Lumsdaine,Nicolas Tabareau Journal of Automated Reasoning, 2018, ⟨10.1007/s10817-018-9491-3⟩ Article dans une revue hal-01929871v1
Foundations of Dependent Interoperability Pierre-Evariste Dagand,Nicolas Tabareau,Éric Tanter Journal of Functional Programming, 2018, 28, ⟨10.1017/S0956796818000011⟩ Article dans une revue hal-01629909v2
Effect capabilities for Haskell: Taming effect interference in monadic programming Ismael Figueroa,Nicolas Tabareau,Éric Tanter Science of Computer Programming, 2016, 119, pp.3-30. ⟨10.1016/j.scico.2015.11.010⟩ Article dans une revue hal-01400002v1
Lawvere-Tierney sheafification in Homotopy Type Theory Kevin Quirin,Nicolas Tabareau Journal of Formalized Reasoning, 2016, 9 (2), ⟨10.6092/issn.1972-5787/6232⟩ Article dans une revue hal-01451710v1
Execution Levels for Aspect-Oriented Programming: Design, Semantics, Implementations and Applications Éric Tanter,Ismael Figueroa,Nicolas Tabareau Science of Computer Programming, 2014, 80 (1), pp.311-342. ⟨10.1016/j.scico.2013.09.002⟩ Article dans une revue hal-00872786v1
Effective Aspects: A Typed Monadic Embedding of Pointcuts and Advice Ismael Figueroa,Nicolas Tabareau,Éric Tanter LNCS Transactions on Aspect-Oriented Software Development, 2014 Article dans une revue hal-00872782v1
Resource modalities in tensor logic Paul-André Melliès,Nicolas Tabareau Annals of Pure and Applied Logic, 2010, 161 (5), pp.632-653. ⟨10.1016/j.apal.2009.07.018⟩ Article dans une revue hal-00339154v2
How synchronization protects from noise. Nicolas Tabareau,Jean-Jacques Slotine,Quang-Cuong Pham PLoS Computational Biology, 2010, 6 (1), pp.e1000637. ⟨10.1371/journal.pcbi.1000637⟩ Article dans une revue inria-00460739v1
A contraction theory approach to stochastic incremental stability Quang-Cuong Pham,Nicolas Tabareau,Jean-Jacques Slotine IEEE Transactions on Automatic Control, 2009, 54 (4), pp.816--820. ⟨10.1109/TAC.2008.2009619⟩ Article dans une revue inria-00466264v1
Geometry of the superior colliculus mapping and efficient oculomotor computation Nicolas Tabareau,Daniel Bennequin,Alain Berthoz,Jean-Jacques Slotine,Benoît Girard Biological Cybernetics (Modeling), 2007, 97 (4), pp.279-292. ⟨10.1007/s00422-007-0172-2⟩ Article dans une revue hal-00178144v1

Communication dans un congrès (42)

Babel-formal: Translation of Proofs between Lean and Rocq Théo Stoskopf,Cyril Cohen,Nicolas Tabareau The 5th Workshop on Mathematical Reasoning and AI at NeurIPS 2025, Dec 2025, San Diego, United States Communication dans un congrès hal-05342510v1
Incremental Certified Programming Tomás Díaz,Kenji Maillard,Nicolas Tabareau,Éric Tanter OOPSLA 2025 - ACM Conference on Object Oriented Programming Systems Languages and Applications, Oct 2025, Singapore, Singapore. pp.1-28, ⟨10.1145/3763068⟩ Communication dans un congrès hal-05256780v1
Observational Equality Meets CIC Loïc Pujet,Nicolas Tabareau ESOP 2024 - 33rd European Symposium on Programming, Apr 2024, Luxembourg, Luxembourg. pp.275-301, ⟨10.1007/978-3-031-57262-3_12⟩ Communication dans un congrès hal-04535982v1
The Rewster: Type Preserving Rewrite Rules for the Coq Proof Assistant Yann Leray,Gaëtan Gilbert,Nicolas Tabareau,Théo Winterhalter International Conference on Interactive Theorem Proving (ITP 2024), Yves Bertot; Temur Kutsia; Michael Norrish, Sep 2024, Tbilisi, Georgia. pp.18, ⟨10.4230/LIPIcs.ITP.2024.26⟩ Communication dans un congrès hal-04511667v2
The Rewster: The Coq Proof Assistant with Rewrite Rules Gaëtan Gilbert,Yann Leray,Nicolas Tabareau,Théo Winterhalter TYPES 2023 - 29th International Conference on Types for Proofs and Programs, Jun 2023, Valencia, Spain. pp.1-3 Communication dans un congrès hal-04403667v1
From Lost to the River: Embracing Sort Proliferation Gaëtan Gilbert,Pierre-Marie Pédrot,Matthieu Sozeau,Nicolas Tabareau TYPES 2023 - 29th International Conference on Types for Proofs and Programs, Jun 2023, Valencia, Spain. pp.1-2 Communication dans un congrès hal-04378939v1
Setoid type theory - a syntactic translation Thorsten Altenkirch,Simon Boulier,Ambrus Kaposi,Nicolas Tabareau MPC 2019 - 13th International Conference on Mathematics of Program Construction, Oct 2019, Porto, Portugal. pp.155-196, ⟨10.1007/978-3-030-33636-3_7⟩ Communication dans un congrès hal-02281225v1
Eliminating Reflection from Type Theory Théo Winterhalter,Matthieu Sozeau,Nicolas Tabareau CPP 2019 - 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2019, Lisbonne, Portugal. pp.91-103, ⟨10.1145/3293880.3294095⟩ Communication dans un congrès hal-01849166v3
Towards Certified Meta-Programming with Typed Template-Coq Abhishek Anand,Simon Boulier,Cyril Cohen,Matthieu Sozeau,Nicolas Tabareau ITP 2018 - 9th Conference on Interactive Theorem Proving, Jul 2018, Oxford, United Kingdom. pp.20-39, ⟨10.1007/978-3-319-94821-8_2⟩ Communication dans un congrès hal-01809681v1
Failure is Not an Option An Exceptional Type Theory Pierre-Marie Pédrot,Nicolas Tabareau ESOP 2018 - 27th European Symposium on Programming, Apr 2018, Thessaloniki, Greece. pp.245-271, ⟨10.1007/978-3-319-89884-1_9⟩ Communication dans un congrès hal-01840643v1
An explicit formula for the free exponential modality of linear logic Paul-André Melliès,Nicolas Tabareau,Christine Tasson ICALP 2009 : 36th International Colloquium on Automata, Languages, and Programming, Jul 2009, Rhodes, Greece. pp.247-260, ⟨10.1007/978-3-642-02930-1_21⟩ Communication dans un congrès hal-02436316v1
Typed Template Coq -- Certified Meta-Programming in Coq Abhishek Anand,Simon Boulier,Nicolas Tabareau,Matthieu Sozeau CoqPL 2018 - The Fourth International Workshop on Coq for Programming Languages, Jan 2018, Los Angeles, CA, United States. pp.1-2 Communication dans un congrès hal-01671948v1
The next 700 syntactical models of type theory Simon Boulier,Pierre-Marie Pédrot,Nicolas Tabareau Certified Programs and Proofs (CPP 2017), Jan 2017, Paris, France. pp.182 - 194, ⟨10.1145/3018610.3018620⟩ Communication dans un congrès hal-01445835v1
An Effectful Way to Eliminate Addiction to Dependence Pierre-Marie Pédrot,Nicolas Tabareau Logic in Computer Science (LICS), 2017 32nd Annual ACM/IEEE Symposium on, Jun 2017, Reykjavik, Iceland. pp.12, ⟨10.1109/LICS.2017.8005113⟩ Communication dans un congrès hal-01441829v1
Modèles de la théorie des types donnés par traduction de programme Simon Boulier,Pierre-Marie Pédrot,Nicolas Tabareau 28ièmes Journées Francophones des Langages Applicatifs, Jan 2017, Gourette, France Communication dans un congrès hal-01503089v1
Partial Type Equivalences for Verified Dependent Interoperability Pierre-Evariste Dagand,Nicolas Tabareau,Éric Tanter ICFP 2016 - 21st ACM SIGPLAN International Conference on Functional Programming, Sep 2016, Nara, Japan. pp.298-310, ⟨10.1145/2951913.2951933⟩ Communication dans un congrès hal-01328012v1
The Definitional Side of the Forcing Guilhem Jaber,Gabriel Lewertowski,Pierre-Marie Pédrot,Matthieu Sozeau,Nicolas Tabareau Logics in Computer Science, May 2016, New York, United States. ⟨10.1145/http://dx.doi.org/10.1145/2933575.2935320⟩ Communication dans un congrès hal-01319066v1
Wild omega-Categories for the Homotopy Hypothesis in Type Theory André Hirschowitz,Tom Hirschowitz,Nicolas Tabareau Typed Lambda Calculi and Applications, 2015, Varsovie, Poland. pp.226-240, ⟨10.4230/LIPIcs.TLCA.2015.226⟩ Communication dans un congrès hal-01178301v1
Gradual Certified Programming in Coq Éric Tanter,Nicolas Tabareau 11th ACM Dynamic Languages Symposium (DLS 2015), Oct 2015, Pittsburgh, United States. ⟨10.1145/2816707.2816710⟩ Communication dans un congrès hal-01238774v1
Compositional Reasoning About Aspect Interference Ismael Figueroa,Tom Schrijvers,Nicolas Tabareau,Éric Tanter 13th International Conference on Modularity (Modularity'14), Apr 2014, Lugano, Switzerland Communication dans un congrès hal-00919935v1
Aspectual Session Types Nicolas Tabareau,Mario Südholt,Éric Tanter Modularity - 13th International Conference on Modularity, Apr 2014, Lugano, Switzerland. ⟨10.1145/2577080.2577085⟩ Communication dans un congrès hal-00872791v1
Lazier Imperative Programming Rémi Douence,Nicolas Tabareau Principles and Practice of Declarative Programming (PPDP), Sep 2014, Canterbury, United Kingdom Communication dans un congrès hal-01016565v1
Effect Capabilities For Haskell Ismael Figueroa,Nicolas Tabareau,Éric Tanter Brazilian Symposium on Programming Languages (SBLP), Sep 2014, Maceio, Brazil Communication dans un congrès hal-01038053v1
Universe Polymorphism in Coq Matthieu Sozeau,Nicolas Tabareau Interactive Theorem Proving, Jul 2014, Vienna, Austria Communication dans un congrès hal-00974721v1
Taming aspects with monads and membranes Ismael Figueroa,Nicolas Tabareau,Éric Tanter FOAL'13: Foundations of aspect-oriented languages, Mar 2013, Fukuoka, Japan. ⟨10.1145/2451598.2451600⟩ Communication dans un congrès hal-00808983v1
Anti-Unification with Type Classes Nicolas Tabareau,Éric Tanter,Ismael Figueroa Journées Francophones des Langages Applicatifs (JFLA), Feb 2013, Aussois, France Communication dans un congrès hal-00765862v1
A Typed Monadic Embedding of Aspects Nicolas Tabareau,Ismael Figueroa,Éric Tanter 12th annual international conference on Aspect-Oriented Software Development (Modularity-AOSD'13), Mar 2013, Fukuoka, Japan Communication dans un congrès hal-00763695v1
Extending Type Theory with Forcing Guilhem Jaber,Nicolas Tabareau,Matthieu Sozeau LICS 2012 : Logic In Computer Science, Jun 2012, Dubrovnik, Croatia. pp.0-0 Communication dans un congrès hal-00685150v1
A Practical Monadic Aspect Weaver Ismael Figueroa,Éric Tanter,Nicolas Tabareau Foundations of Aspect-Oriented Languages, Mar 2012, Potsdam, Germany Communication dans un congrès hal-00690717v1
Taming Aspects with Membranes Éric Tanter,Nicolas Tabareau,Rémi Douence Foundations of Aspect-Oriented Languages, Mar 2012, Potsdam, Germany Communication dans un congrès hal-00690706v1
A Monadic Interpretation of Execution Levels and Exceptions for AOP Nicolas Tabareau Modularity: AOSD'12, Mar 2012, Postdam, Germany Communication dans un congrès inria-00592132v3
The Journey of Biorthogonal Logical Relations to the Realm of Assembly Code Guilhem Jaber,Nicolas Tabareau Workshop LOLA 2011, Syntax and Semantics of Low Level Languages, Jun 2011, Toronto, Canada Communication dans un congrès hal-00594386v1
Aspect oriented programming: a language for 2-categories Nicolas Tabareau Proceedings of the 10th international workshop on Foundations of aspect-oriented languages, Mar 2011, Porto de Galinhas, Brazil. pp.13--17, ⟨10.1145/1960510.1960514⟩ Communication dans un congrès inria-00583429v1
Krivine realizability for compiler correctness Guilhem Jaber,Nicolas Tabareau Workshop LOLA 2010, Syntax and Semantics of Low Level Languages, Jul 2010, Edinburgh, United Kingdom Communication dans un congrès hal-00475210v2
A theory of distributed aspects Nicolas Tabareau 9th International Conference on Aspect-Oriented Software Development (AOSD '10), Mar 2010, Rennes, Saint-Malo, France. pp.133--144, ⟨10.1145/1739230.1739246⟩ Communication dans un congrès inria-00423996v4
An algebraic account of references in game semantics Paul-André Melliès,Nicolas Tabareau Mathematical Foundations of Programming Semantics, Apr 2009, Oxford, United Kingdom. pp.377-405 Communication dans un congrès hal-00374933v2
An explicit formula for the free exponential modality of linear logic Paul-André Melliès,Nicolas Tabareau,Christine Tasson 36th International Colloquium on Automata, Languages and Programming, Jul 2009, Rhodes, Greece. pp.247-260, ⟨10.1007/978-3-642-02930-1⟩ Communication dans un congrès hal-00391714v2
Compiling Functional Types to Relational Specifications for Low Level Imperative Code Nick Benton,Nicolas Tabareau Types in Language Design and Implementation, Jan 2009, Savannah, United States Communication dans un congrès hal-00341404v1
Implementation of a neurophysiological model of saccadic eye movements on an anthropomorphic robotic head Luigi Manfredi,Eliseo Stefano Maini,Paolo Dario,Cecilia Laschi,Benoît Girardet al. 6th IEEE-RAS International Conference on Humanoid Robots, Dec 2006, Gênes, Italy. pp.438-443, ⟨10.1109/ICHR.2006.321309⟩ Communication dans un congrès hal-01525198v1
Selective amplification using a contracting model of the basal ganglia Benoît Girard,Nicolas Tabareau,Alain Berthoz,Jean-Jacques Slotine NeuroComp 2006, 2006, Pont A Mousson, France. pp.30-33 Communication dans un congrès hal-00111145v1
Contracting model of the basal ganglia Benoît Girard,Nicolas Tabareau,Jean-Jacques Slotine,Alain Berthoz Modeling Natural Action Selection, 2005, Edinburgh, United Kingdom. pp.69-76 Communication dans un congrès hal-00016414v1
On timed automata with input-determined guards Deepak d'Souza,Nicolas Tabareau Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, Sep 2004, France. pp.68-83, ⟨10.1007/b100824⟩ Communication dans un congrès hal-00017462v1

Autre publication scientifique (1)

Forcing in Coq Matthieu Sozeau,Nicolas Tabareau,Guilhem Jaber 2012 Autre publication scientifique hal-00767483v1

Pré-publication, Document de travail (14)

Definitional Proof Irrelevance Made Accessible Thiago Felicissimo,Yann Leray,Loïc Pujet,Nicolas Tabareau,Éric Tanteret al. 2026 Pré-publication, Document de travail hal-05474391v3
Divide and Check: Logical Relations, No Algorithms Attached Josselin Poiret,Kenji Maillard,Nicolas Tabareau 2026 Pré-publication, Document de travail (preprint/prepublication) hal-05495420v1
Nested Inductive Types Thomas Lamiaux,Yannick Forster,Matthieu Sozeau,Nicolas Tabareau 2025 Pré-publication, Document de travail hal-05366368v1
The Multiverse: Logical Modularity for Proof Assistants Kenji Maillard,Nicolas Margulies,Matthieu Sozeau,Nicolas Tabareau,Éric Tanter 2021 Pré-publication, Document de travail hal-03324596v1
Model structure on the universe in a two level type theory Simon Boulier,Nicolas Tabareau 2017 Pré-publication, Document de travail hal-01579822v1
Univalence for free Matthieu Sozeau,Nicolas Tabareau 2013 Pré-publication, Document de travail hal-00786589v3
Decomposing Logical Relations with Forcing Guilhem Jaber,Nicolas Tabareau 2011 Pré-publication, Document de travail hal-00585717v1
Linear logic as a foundation for service-oriented computing Hervé Grall,Nicolas Tabareau 2010 Pré-publication, Document de travail inria-00473854v2
Free models of T-algebraic theories computed as Kan extensions Paul-André Melliès,Nicolas Tabareau 2008 Pré-publication, Document de travail hal-00339331v1
Resource modalities in game semantics Paul-André Melliès,Nicolas Tabareau 2007 Pré-publication, Document de travail hal-00144510v1
Linear continuations and duality Paul-André Melliès,Nicolas Tabareau 2007 Pré-publication, Document de travail hal-00339156v1
Notes on Contraction Theory Nicolas Tabareau,Jean-Jacques Slotine 2006 Pré-publication, Document de travail hal-00016453v2
De l'opérateur de trace dans les jeux de Conway Nicolas Tabareau 2006 Pré-publication, Document de travail hal-00086635v1
Superior Colliculus geometry for spatio-temporal transformation Nicolas Tabareau,Benoît Girard,Daniel Bennequin,Alain Berthoz,Jean-Jacques Slotine 2006 Pré-publication, Document de travail hal-00016885v1

Rapport (4)

Lazier Imperative Programming Rémi Douence,Nicolas Tabareau [Research Report] RR-8569, INRIA. 2014 Rapport (rapport de recherche) hal-01025633v2
Contraction analysis of nonlinear random dynamical systems Nicolas Tabareau,Jean-Jacques Slotine [Research Report] RR-8368, INRIA. 2013, pp.17 Rapport (rapport de recherche) hal-00864079v2
Exploring Membranes for Controlling Aspects Éric Tanter,Nicolas Tabareau,Rémi Douence [Research Report] RR-7739, INRIA. 2011, pp.33 Rapport (rapport de recherche) inria-00592133v2
Aspect Oriented Programming: a language for 2-categories Nicolas Tabareau [Research Report] RR-7527, INRIA. 2011, pp.30 Rapport (rapport de recherche) inria-00470400v3

Thèse (1)

Modalités de ressource et contrôle en logique tensorielle Nicolas Tabareau Mathématiques [math]. Université Paris-Diderot - Paris VII, 2008. Français. ⟨NNT : ⟩ Thèse tel-00339149v3

HDR (1)

Managing Logical and Computational Complexity using Program Transformations Nicolas Tabareau Category Theory [math.CT]. université de nantes, 2016 HDR tel-01406351v1