Toggle navigation
Sign in
Sign up
conf.researchr.org
/
José Bacelar Almeira
conf.researchr.org general profile
ICFP 2018 profile
POPL 2024 profile
POPL 2025 profile
Registered user since Fri 13 Sep 2024
Name:
José Bacelar Almeira
Affiliation:
University of Minho & INESC TEC
Contributions
2025
CPP
Author of Leakage-Free Probabilistic Jasmin Programs within the CPP 2025-track
2024
CPP
Author of Leakage-Free Probabilistic Jasmin Programs within the CPP 2024-track
2018
ICFP
Author of Teaching How to Program using Automated Assessment and Functional Glossy Games (Experience Report) within the Research Papers-track
Share
x
Sun 24 Nov 10:13