Filter your results
- 7
- 3
- 6
- 3
- 1
- 10
- 1
- 1
- 5
- 3
- 1
- 10
- 10
- 10
- 9
- 1
- 1
- 10
- 9
- 9
- 1
|
|
sorted by
|
|
Taming aspects with monads and membranesFOAL'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 ApplicationsScience of Computer Programming, 2014, 80 (1), pp.311-342. ⟨10.1016/j.scico.2013.09.002⟩
Journal articles
hal-00872786v1
|
||
|
Anti-Unification with Type ClassesJournées Francophones des Langages Applicatifs (JFLA), Feb 2013, Aussois, France
Conference papers
hal-00765862v1
|
||
|
Effect Capabilities For HaskellBrazilian Symposium on Programming Languages (SBLP), Sep 2014, Maceio, Brazil
Conference papers
hal-01038053v1
|
||
|
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⟩
Journal articles
hal-01400002v1
|
||
Compositional Reasoning About Aspect Interference13th International Conference on Modularity (Modularity'14), Apr 2014, Lugano, Switzerland
Conference papers
hal-00919935v1
|
|||
|
Effective Aspects: A Typed Monadic Embedding of Pointcuts and AdviceLNCS Transactions on Aspect-Oriented Software Development, 2014
Journal articles
hal-00872782v1
|
||
|
A Practical Monadic Aspect WeaverFoundations of Aspect-Oriented Languages, Mar 2012, Potsdam, Germany
Conference papers
hal-00690717v1
|
||
|
Effective aspects : A typed monadic model to control and reason about aspect interferenceSoftware Engineering [cs.SE]. Ecole des Mines de Nantes, 2014. English. ⟨NNT : 2014EMNA0220⟩
Theses
tel-01067730v1
|
||
|
A Typed Monadic Embedding of Aspects12th annual international conference on Aspect-Oriented Software Development (Modularity-AOSD'13), Mar 2013, Fukuoka, Japan
Conference papers
hal-00763695v1
|