Ismael Figueroa
Title
Cited by
Cited by
Year
Execution levels for aspect-oriented programming
É Tanter
Proceedings of the 9th International Conference on Aspect-Oriented Software …, 2010
78*2010
A typed monadic embedding of aspects
N Tabareau, I Figueroa, É Tanter
Proceedings of the 12th annual international conference on Aspect-oriented …, 2013
142013
A semantics for execution levels with exceptions
I Figueroa, É Tanter
Proceedings of the 10th international workshop on Foundations of aspect …, 2011
132011
A practical monadic aspect weaver
I Figueroa, É Tanter, N Tabareau
Proceedings of the eleventh workshop on Foundations of Aspect-Oriented …, 2012
102012
Taming aspects with monads and membranes
I Figueroa, N Tabareau, É Tanter
Proceedings of the 12th workshop on Foundations of aspect-oriented languages …, 2013
72013
PROMETHEUS: Procedural methodology for developing heuristics of usability
C Jimenez, HA Cid, I Figueroa
IEEE Latin America Transactions 15 (3), 541-549, 2017
52017
Compositional reasoning about aspect interference
I Figueroa, T Schrijvers, N Tabareau, É Tanter
Proceedings of the 13th international conference on Modularity, 133-144, 2014
42014
Effective aspects: A typed monadic embedding of pointcuts and advice
I Figueroa, N Tabareau, É Tanter
Transactions on Aspect-Oriented Software Development XI, 145-192, 2014
42014
Toward Distributed Streaming Data Sharing Manager for Autonomous Robot Control
H Fukuda, R Gunji, T Hasegawa, P Leger, I Figueroa
2020 IEEE/SICE International Symposium on System Integration (SII), 862-866, 2020
2020
Developing usability heuristics with PROMETHEUS: A case study in virtual learning environments
I Figueroa, C Jiménez, H Allende-Cid, P Leger
Computer Standards & Interfaces 65, 132-142, 2019
2019
Objectives and Behaviors for a Gamification Strategy for First Year Programming Courses
E Jamet, K Valencia, I Figueroa
2018 37th International Conference of the Chilean Computer Science Society …, 2018
2018
Heuristic Evaluation of Code:: Blocks as a Tool for First Year Programming Courses
MS Soto, I Figueroa
2018 37th International Conference of the Chilean Computer Science Society …, 2018
2018
Towards progressive program verification in Dafny
I Figueroa, B García, P Leger
Proceedings of the XXII Brazilian Symposium on Programming Languages, 90-97, 2018
2018
A preliminary assessment of how monads are used in Haskell
I Figueroa
Proceedings of the 21st Brazilian Symposium on Programming Languages, 1-7, 2017
2017
Effect capabilities for Haskell: Taming effect interference in monadic programming
I Figueroa, N Tabareau, É Tanter
Science of Computer Programming 119, 3-30, 2016
2016
Is functional programming better for modularity?
I Figueroa, R Robbes
Proceedings of the 6th Workshop on Evaluation and Usability of Programming …, 2015
2015
Effect Capabilities For Haskell
I Figueroa, N Tabareau, É Tanter
Brazilian Symposium on Programming Languages, 92-108, 2014
2014
Effective aspects: A typed monadic model to control and reason about aspect interference
I Figueroa
Ecole des Mines de Nantes, 2014
2014
Execution levels for aspect-oriented programming
É Tanter, I Figueroa, N Tabareau
Science of Computer Programming 80 (PB), 311-342, 2014
2014
Anti-Unification with Type Classes
N Tabareau, É Tanter, I Figueroa
2013
The system can't perform the operation now. Try again later.
Articles 1–20