Tianhan Lu

Identifiers

• name variant Tianhan Lu 0.50 · backfill

Papers (1)

1. Type-directed Bounding of Collections in Reactive Programs cs.PL · 2018 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Ashutosh Trivedi 1 shared papers
• Bor-Yuh Evan Chang 1 shared papers
• Pavol Cerny 1 shared papers