Registered user since Fri 3 Jun 2016
Name: Tianhan Lu
Affiliation: University of Colorado Boulder
Contributions
| VMCAI 2019 | Author of Type-directed Bounding of Collections in Reactive Programs within the VMCAI 2019-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile