Registered user since Fri 3 Jun 2016

Name: Tianhan Lu

Affiliation: University of Colorado Boulder

Contributions

VMCAI 2019Author of Type-directed Bounding of Collections in Reactive Programs within the VMCAI 2019-track