Accéder directement au contenu
NT

Nicolas Tabareau

22
Documents

Présentation

Publications

eric-tanter
Image document

A Reasonably Gradual Type Theory

Kenji Maillard , Meven Lennon-Bertrand , Nicolas Tabareau , Éric Tanter
Proceedings of the ACM on Programming Languages, inPress
Article dans une revue hal-03596652v2
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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

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
Image document

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

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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
Image document

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