Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Julio Mariño
conf.researchr.org general profile
ICFP 2021 profile
ICFP 2022 profile
ICFP 2023 profile
ICFP 2024 profile
POPL 2025 profile
Registered user since Wed 11 Dec 2024
Name:
Julio Mariño
Country:
Spain
Affiliation:
Universidad Politécnica de Madrid
Contributions
2025
Symposium on Practical Aspects of Declarative Languages
Presenter of Logic Programming with Extensible Types (Lightning talk) within the PADL 2025-track
Author of Checking Concurrency Coding Rules within the PADL 2025-track
Author of Haskell Based Spreadsheets within the PADL 2025-track
2024
Erlang
Author of Controlled Scheduling of Concurrent Elixir Programs within the Erlang-track
2023
Erlang
Author of Generation and Refinement of Testing Models within the Erlang 2023-track
2022
Erlang
Author of Executable Contracts for Elixir within the Erlang 2022-track
2021
Erlang
Author of Makina: A New QuickCheck State Machine Library within the Erlang 2021-track
Share
x
Sat 14 Jun 04:20
