Login / Signup
Thomas Dillig
Publication Activity (10 Years)
Years Active: 2007-2017
Publications (10 Years): 3
Top Topics
Abductive Inference
Natural Language
Functional Programs
Efficient Processing
Top Venues
CAV
PLDI
APLAS
Proc. ACM Program. Lang.
</>
Publications
</>