Deepak Garg

Registered user since Sun 12 Jun 2016

Name:Deepak Garg
Country:Germany
Affiliation:Max Planck Institute for Software Systems

Contributions

PLDI 2019 Bidirectional Type Checking for Relational Properties
Show activities from other conferences

PLDI 2019-profile
View general profile