- 14
- 6
- 1
- 1
NT
Nicolas Tabareau
22
Documents
Présentation
Publications
- 22
- 9
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
A Reasonably Gradual Type TheoryProceedings of the ACM on Programming Languages, inPress
Article dans une revue
hal-03596652v2
|
|
Gradualizing the Calculus of Inductive ConstructionsACM Transactions on Programming Languages and Systems (TOPLAS), 2022, ⟨10.1145/3495528⟩
Article dans une revue
hal-02896776v5
|
|
The Marriage of Univalence and ParametricityJournal of the ACM (JACM), 2021, 68 (1), pp.1-44. ⟨10.1145/3429979⟩
Article dans une revue
hal-03120580v1
|
|
Chemical foundations of distributed aspectsDistributed Computing, 2019, 32 (3), pp.193-216. ⟨10.1007/s00446-018-0334-6⟩
Article dans une revue
hal-01811884v1
|
|
A Reasonably Exceptional Type TheoryProceedings of the ACM on Programming Languages, 2019, Issue ICFP, 3, pp.1-29. ⟨10.1145/3341712⟩
Article dans une revue
hal-02189128v1
|
|
Equivalences for FreeProceedings of the ACM on Programming Languages, 2018, ICFP'18, 2 (ICFP), pp.1-29. ⟨10.1145/3234615⟩
Article dans une revue
hal-01559073v6
|
|
Foundations of Dependent InteroperabilityJournal of Functional Programming, 2018, 28, ⟨10.1017/S0956796818000011⟩
Article dans une revue
hal-01629909v2
|
Effect capabilities for Haskell: Taming effect interference in monadic programmingScience of Computer Programming, 2016, 119, pp.3-30. ⟨10.1016/j.scico.2015.11.010⟩
Article dans une revue
hal-01400002v1
|
|
|
Effective Aspects: A Typed Monadic Embedding of Pointcuts and AdviceLNCS Transactions on Aspect-Oriented Software Development, 2014
Article dans une revue
hal-00872782v1
|
Execution Levels for Aspect-Oriented Programming: Design, Semantics, Implementations and ApplicationsScience of Computer Programming, 2014, 80 (1), pp.311-342. ⟨10.1016/j.scico.2013.09.002⟩
Article dans une revue
hal-00872786v1
|
|
Partial Type Equivalences for Verified Dependent InteroperabilityICFP 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 Coq11th 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 Interference13th International Conference on Modularity (Modularity'14), Apr 2014, Lugano, Switzerland
Communication dans un congrès
hal-00919935v1
|
|
|
Effect Capabilities For HaskellBrazilian Symposium on Programming Languages (SBLP), Sep 2014, Maceio, Brazil
Communication dans un congrès
hal-01038053v1
|
|
Aspectual Session TypesModularity - 13th International Conference on Modularity, Apr 2014, Lugano, Switzerland. ⟨10.1145/2577080.2577085⟩
Communication dans un congrès
hal-00872791v1
|
|
Anti-Unification with Type ClassesJournées Francophones des Langages Applicatifs (JFLA), Feb 2013, Aussois, France
Communication dans un congrès
hal-00765862v1
|
|
Taming aspects with monads and membranesFOAL'13: Foundations of aspect-oriented languages, Mar 2013, Fukuoka, Japan. ⟨10.1145/2451598.2451600⟩
Communication dans un congrès
hal-00808983v1
|
|
A Typed Monadic Embedding of Aspects12th annual international conference on Aspect-Oriented Software Development (Modularity-AOSD'13), Mar 2013, Fukuoka, Japan
Communication dans un congrès
hal-00763695v1
|
|
A Practical Monadic Aspect WeaverFoundations of Aspect-Oriented Languages, Mar 2012, Potsdam, Germany
Communication dans un congrès
hal-00690717v1
|
|
Taming Aspects with MembranesFoundations of Aspect-Oriented Languages, Mar 2012, Potsdam, Germany
Communication dans un congrès
hal-00690706v1
|
|
The Multiverse: Logical Modularity for Proof Assistants2021
Pré-publication, Document de travail
hal-03324596v1
|
|
Exploring Membranes for Controlling Aspects[Research Report] RR-7739, INRIA. 2011, pp.33
Rapport
inria-00592133v2
|