Write a Blog >>
Aseem Rastogi

Registered user since Mon 2 Nov 2015

Name: Aseem Rastogi

Affiliation: University of Maryland, College Park

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

Contributions

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

POPL 2016-profile
View general profile