Personal information

Other IDs

Scopus Author ID: 57224517938
Scopus Author ID: 58680100000

Countries

Hong Kong SAR China

Activities

Collapse all

Education and qualifications (1)

The University of Hong Kong: Hong Kong, HK

2021-09-01 to present
Education
Source: Self-asserted source
Shengyi Jiang

Works (2)

Bidirectional Higher-Rank Polymorphism with Intersection and Union Types

Proceedings of the ACM on Programming Languages
2025-01-07 | Journal article
DOI: 10.1145/3704907
Contributors: Shengyi Jiang; Chen Cui; Bruno C. d. S. Oliveira
Source: check_circle
Crossref

Greedy Implicit Bounded Quantification

Proceedings of the ACM on Programming Languages
2023-10-16 | Journal article
DOI: 10.1145/3622871
Contributors: Chen Cui; Shengyi Jiang; Bruno C. d. S. Oliveira
Source: check_circle
Crossref
How many people are using ORCID?