Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Amal Ahmed

Registered user since Sat 2 Apr 2016

Name:Amal Ahmed
Country:United States
Affiliation:Northeastern University, USA
Research interests:correct and secure compilation, linking types for multi-language software, typed compilation of dependent types, semantics and logical relations, gradual typing, safe language interoperability

Contributions

POPL 2019 Gradual Type Theory
PriSC 2019 Committee Member in Organizing Committee within the PriSC 2019-track
Show activities from other conferences

POPL 2019-profile
View general profile