Login / Signup
Amin Timany
ORCID
Publication Activity (10 Years)
Years Active: 2015-2024
Publications (10 Years): 34
Top Topics
Technical Report
Denotational Semantics
Logical Theories
Control Flow
Top Venues
Proc. ACM Program. Lang.
CoRR
FSCD
FTfJP@ECOOP
</>
Publications
</>