Follow
Ismael Figueroa
Ismael Figueroa
Pragmatics Lab
No verified email - Homepage
Title
Cited by
Cited by
Year
Execution levels for aspect-oriented programming
É Tanter
Proceedings of the 9th International Conference on Aspect-Oriented Software …, 2010
85*2010
Enfoque de aplicación ágil con Serum, Lean y Kanban
J Gaete, R Villarroe, I Figueroa, H Cornide-Reyes, R Muñoz
Ingeniare. Revista chilena de ingeniería 29 (1), 141-157, 2021
822021
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
272019
PROMETHEUS: procedural methodology for developing heuristics of usability
C Jiménez, HA Cid, I Figueroa
IEEE Latin America Transactions 15 (3), 541-549, 2017
212017
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
142011
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
ABM RoutePlanner: An agent-based model simulation for suggesting preference-based routes in Spain
V Pizarro, P Leger, C Hidalgo-Alcázar, I Figueroa
Journal of Simulation 17 (4), 444-461, 2023
62023
Which monads Haskell developers use: An exploratory study
I Figueroa, P Leger, H Fukuda
Science of Computer Programming 201, 102523, 2021
62021
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
42018
Effect capabilities for Haskell: Taming effect interference in monadic programming
I Figueroa, N Tabareau, É Tanter
Science of Computer Programming 119, 3-30, 2016
42016
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
Interfaces for modular reasoning in context-oriented programming
P Leger, H Masuhara, I Figueroa
Proceedings of the 12th ACM International Workshop on Context-Oriented …, 2020
32020
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
32020
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
32018
A preliminary assessment of how monads are used in Haskell
I Figueroa
Proceedings of the 21st Brazilian Symposium on Programming Languages, 1-7, 2017
32017
Evolution of a haskell repository and its use of monads: an exploratory study of stackage
P Leger, F Ruiz, N Sepúlveda, I Figueroa
Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing, 1475-1482, 2022
22022
Continuations and Aspects to Tame Callback Hell on the Web.
P Leger, H Fukuda, I Figueroa
JUCS: Journal of Universal Computer Science 27 (9), 2021
22021
The system can't perform the operation now. Try again later.
Articles 1–20