Login / Signup
Avik Chaudhuri
Publication Activity (10 Years)
Years Active: 2005-2019
Publications (10 Years): 5
Top Topics
Type Checking
Access Control
Relational Calculus
Abstract Data Types
Top Venues
CoRR
Proc. ACM Program. Lang.
PLAS@CCS
POPL
</>
Publications
</>