Registered user since Mon 2 Nov 2015

Name: Aseem Rastogi

Affiliation: University of Maryland, College Park

Personal website: http://www.cs.umd.edu/~aseem

POPL 2016 Activities

• Author of Dependent Types and Multi-Monadic Effects in F* within the Research Papers-track in POPL 2016
• Show activities from other conferences