Login / Signup
Luís Caires
ORCID
Publication Activity (10 Years)
Years Active: 1989-2024
Publications (10 Years): 14
Top Topics
Propositional Calculus
Information Flows
Secret Sharing
Abstract Machine
Top Venues
CoRR
Proc. ACM Program. Lang.
ECOOP
ESOP
</>
Publications
</>