Search - Archive ouverte HAL Access content directly

Filter your results

10 Results
Author: personID (integer) : 766085
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⟩
Conference papers hal-00808983v1

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⟩
Journal articles hal-00872786v1
Image document

Anti-Unification with Type Classes

Nicolas Tabareau , Éric Tanter , Ismael Figueroa
Journées Francophones des Langages Applicatifs (JFLA), Feb 2013, Aussois, France
Conference papers hal-00765862v1
Image document

Effect Capabilities For Haskell

Ismael Figueroa , Nicolas Tabareau , Éric Tanter
Brazilian Symposium on Programming Languages (SBLP), Sep 2014, Maceio, Brazil
Conference papers hal-01038053v1

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⟩
Journal articles hal-01400002v1

Compositional Reasoning About Aspect Interference

Ismael Figueroa , Tom Schrijvers , Nicolas Tabareau , Éric Tanter
13th International Conference on Modularity (Modularity'14), Apr 2014, Lugano, Switzerland
Conference papers hal-00919935v1
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
Journal articles hal-00872782v1
Image document

A Practical Monadic Aspect Weaver

Ismael Figueroa , Éric Tanter , Nicolas Tabareau
Foundations of Aspect-Oriented Languages, Mar 2012, Potsdam, Germany
Conference papers hal-00690717v1
Image document

Effective aspects : A typed monadic model to control and reason about aspect interference

Ismael Figueroa
Software Engineering [cs.SE]. Ecole des Mines de Nantes, 2014. English. ⟨NNT : 2014EMNA0220⟩
Theses tel-01067730v1
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
Conference papers hal-00763695v1