Login / Signup
Derek Dreyer
ORCID
Publication Activity (10 Years)
Years Active: 2003-2024
Publications (10 Years): 43
Top Topics
Orthogonal Basis
Phd Thesis
Functional Verification
Programming Language
Top Venues
Proc. ACM Program. Lang.
PLDI
J. Funct. Program.
POPL
</>
Publications
</>