No authors of 1810.10443 can endorse.
Type-directed Bounding of Collections in Reactive Programs
Tianhan Lu: | Is registered as an author of this paper. Not currently an endorser. (why?) |
Pavol Cerny, Bor-Yuh Evan Chang and Ashutosh Trivedi are not registered as owners of this paper. (why?)