Ismael Figueroa
TitleCited byYear
Execution levels for aspect-oriented programming
É Tanter
Proceedings of the 9th International Conference on Aspect-Oriented Software …, 2010
76*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
42017
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
Execution levels for aspect-oriented programming
É Tanter, I Figueroa, N Tabareau
Science of Computer Programming 80 (PB), 311-342, 2014
22014
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, 8, 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
Anti-Unification with Type Classes
N Tabareau, É Tanter, I Figueroa
2013
Program Committee Chairs
B Marín, R Soto, H Allende-Cid, R Angles, RJA Achá, H Astudillo, ...
The system can't perform the operation now. Try again later.
Articles 1–20