Login / Signup

Viktor Kuncak

ORCID

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 46

Top Topics

Attribute Grammars
Data Structure
Horn Clauses
Functional Programs

Top Venues

CoRR
VMCAI
Proc. ACM Program. Lang.
OOPSLA

Massachusetts Institute of Technology, Cambridge, MA, USA (PHD)

Education History
Massachusetts Institute of Technology, Cambridge, MA, USA

PHD

Publications