- 7
- 1
- 1
NT
Nicolas Tabareau
9
Documents
Présentation
Publications
- 9
- 9
- 1
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
|
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
|
|
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
|