Amr Sabry

Registered user since Sat 12 Sep 2015

Name: Amr Sabry

Country: Egypt

Affiliation: Indiana University

Personal website: https://www.cs.indiana.edu/~sabry/research.html

Research interests: Programming Languages: continuations, computational effects, semantics, logic foundations, type theory, homotopy type theory, quantum computing

POPL 2018 Activities

Using general profile