Ivan Perez

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 12

Top Topics

Carefully Selected

Game Programming

Novice Programmers

Reactive Systems

Top Venues

Proc. ACM Program. Lang.

J. Funct. Program.

Publications

Ryan G. Scott, Mike Dodds, Ivan Perez, Alwyn E. Goodloe, Robert Dockins
Trustworthy Runtime Verification via Bisimulation (Experience Report). Proc. ACM Program. Lang. 7 (ICFP) (2023)
Ivan Perez
Types that Change: The Extensible Type Design Pattern. FUNARCH (2023)
Segev Elazar Mittelman, Aviel Resnick, Ivan Perez, Alwyn E. Goodloe, Leonidas Lampropoulos
Don't Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing. Haskell (2023)
Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Ivan Perez
Selected extended papers of NFM 2021. Innov. Syst. Softw. Eng. 19 (4) (2023)
Ivan Perez, Frank Dedden
The Essence of Reactivity. Haskell (2023)
Ivan Perez
The Beauty and Elegance of Functional Reactive Animation. FARM (2023)
Ivan Perez, Henrik Nilsson
Runtime verification and validation of functional reactive systems. J. Funct. Program. 30 (2020)
Ivan Perez, Alwyn Goodloe
Fault-tolerant functional reactive programming (extended version). J. Funct. Program. 30 (2020)
Manuel Bärenz, Ivan Perez
Rhine: FRP with type-level clocks. Haskell@ICFP (2018)
Ivan Perez
Back to the future: time travel in FRP. Haskell (2017)
Ivan Perez, Henrik Nilsson
Testing and debugging functional reactive programming. Proc. ACM Program. Lang. 1 (ICFP) (2017)
Ivan Perez, Manuel Bärenz, Henrik Nilsson
Functional reactive programming, refactored. Haskell (2016)
Ivan Perez, Henrik Nilsson
Bridging the GUI gap with reactive values and relations. Haskell (2015)
Henrik Nilsson, Ivan Perez
Declarative Game Programming: Distilled Tutorial. PPDP (2014)
Óscar Corcho, Catherine Roussey, Luis Manuel Vilches Blázquez, Ivan Perez
Pattern-based OWL Ontology Debugging Guidelines. WOP (2009)
Ivan Perez, Óscar Corcho
Pattern Definitions and Semantically Annotated Instances. WOP (2009)
Ivan Perez, Ángel Herranz-Nieva, Susana Muñoz-Hernández, Juan José Moreno-Navarro
Modelling Mash-up Resources. JISBD (2008)