Ismael Figueroa

31 papers Misc 1Journal 12Unranked 17
YearRankTypeTitle / Venue / Authors
2026 J jnl
The Stackage repository: An exploratory study of its evolution.
J. Comput. Lang.
Paul Leger, Felipe Ruiz, David Moreno-Lumbreras, Nicolás Sepúlveda, Ismael Figueroa, Nicolás Cardozo
2023 J jnl
ABM RoutePlanner: An agent-based model simulation for suggesting preference-based routes in Spain.
J. Simulation
Vicky Pizarro, Paul Leger, Carmen Hidalgo-Alcázar, Ismael Figueroa
2023 J jnl
Evaluations of Integrated Programming Environment for First-Year Students in Computer Engineering.
J. Univers. Comput. Sci.
Matias Salinas, Paul Leger, Hiroaki Fukuda, Nicolás Cardozo, Vannessa de J. Duarte, Ismael Figueroa
2023 J jnl
The Stackage Repository: An Exploratory Study of its Evolution.
CoRR
Paul Leger, Felipe Ruiz, Nicolás Sepúlveda, Ismael Figueroa, Nicolás Cardozo
2022 Misc conf
Evolution of a haskell repository and its use of monads: an exploratory study of stackage.
SAC
Paul Leger, Felipe Ruiz, Nicolás Sepúlveda, Ismael Figueroa
2021 J jnl
Continuations and Aspects to Tame Callback Hell on the Web.
J. Univers. Comput. Sci.
Paul Leger, Hiroaki Fukuda, Ismael Figueroa
2021 J jnl
DSSM: Distributed Streaming Data Sharing Manager.
Sensors
Hiroaki Fukuda, Ryota Gunji, Tadahiro Hasegawa, Paul Leger, Ismael Figueroa
2021 J jnl
Which monads Haskell developers use: An exploratory study.
Sci. Comput. Program.
Ismael Figueroa, Paul Leger, Hiroaki Fukuda
2020 — conf
A Practical Methodology to Learn Computer Architecture, Assembly Language, and Operating System.
CSEDU (1)
Hiroaki Fukuda, Paul Leger, Ismael Figueroa
2020 — conf
Interfaces for Modular Reasoning in Context-Oriented Programming.
COP@ECOOP
Paul Leger, Hidehiko Masuhara, Ismael Figueroa
2020 — conf
Toward Distributed Streaming Data Sharing Manager for Autonomous Robot Control.
SII
Hiroaki Fukuda, Ryota Gunji, Tadahiro Hasegawa, Paul Leger, Ismael Figueroa
2019 J jnl
Developing usability heuristics with PROMETHEUS: A case study in virtual learning environments.
Comput. Stand. Interfaces
Ismael Figueroa, Cristhy Jiménez, Héctor Allende-Cid, Paul Leger
2018 — conf
Heuristic Evaluation of Code: : Blocks as a Tool for First Year Programming Courses.
SCCC
Matias Salinas Soto, Ismael Figueroa
2018 — conf
Objectives and Behaviors for a Gamification Strategy for First Year Programming Courses.
SCCC
Erick Jamet, Katherine Valencia, Ismael Figueroa
2018 J jnl
PROMETHEUS: PROcedural METhodology for developing HEuristics of USability.
CoRR
Cristhy Jiménez, Héctor Allende-Cid, Ismael Figueroa
2018 — conf
Towards progressive program verification in Dafny.
SBLP
Ismael Figueroa, Bruno García, Paul Leger
2017 — conf
A preliminary assessment of how monads are used in Haskell.
SBLP
Ismael Figueroa
2016 J jnl
Effect capabilities for Haskell: Taming effect interference in monadic programming.
Sci. Comput. Program.
Ismael Figueroa, Nicolas Tabareau, Éric Tanter
2015 — conf
Is functional programming better for modularity?
PLATEAU@SPLASH
Ismael Figueroa, Romain Robbes
2014 — conf
Compositional reasoning about aspect interference.
MODULARITY
Ismael Figueroa, Tom Schrijvers, Nicolas Tabareau, Éric Tanter
2014 — conf
Effect Capabilities for Haskell.
SBLP
Ismael Figueroa, Nicolas Tabareau, Éric Tanter
2014 — —
Effective aspects : A typed monadic model to control and reason about aspect interference. (Effective aspects : Un modèle monadique et typé pour contrôler l'interférence entre aspects).
Ismael Figueroa
2014 J jnl
Execution levels for aspect-oriented programming: Design, semantics, implementations and applications.
Sci. Comput. Program.
Éric Tanter, Ismael Figueroa, Nicolas Tabareau
2013 — conf
A typed monadic embedding of aspects.
AOSD
Nicolas Tabareau, Ismael Figueroa, Éric Tanter
2013 J jnl
Effective Aspects: A Typed Monadic Embedding of Pointcuts and Advice.
LNCS Trans. Aspect Oriented Softw. Dev.
Ismael Figueroa, Nicolas Tabareau, Éric Tanter
2013 — conf
Taming aspects with monads and membranes.
FOAL
Ismael Figueroa, Nicolas Tabareau, Éric Tanter
2013 — conf
Towards control of aspect interference using membranes and monads.
AOSD (Companion)
Ismael Figueroa
2012 — conf
A practical monadic aspect weaver.
FOAL
Ismael Figueroa, Éric Tanter, Nicolas Tabareau
2012 — conf
Membranes for AOP: from vision to practice.
AOSD (Companion)
Ismael Figueroa
2011 — conf
A semantics for execution levels with exceptions.
FOAL
Ismael Figueroa, Éric Tanter
2011 — conf
Avoiding confusion with exception handling in aspect-oriented programming.
AOSD (Companion)
Ismael Figueroa