Login / Signup
Michael Hicks
ORCID
Publication Activity (10 Years)
Years Active: 1998-2024
Publications (10 Years): 64
Top Topics
Lazy Evaluation
Programming Language
Monotonicity Property
Formal Model
Top Venues
CoRR
Proc. ACM Program. Lang.
POST
SecDev
</>
Publications
</>