Tailai Yu

Orcid: 0009-0002-3818-1612

According to our database¹, Tailai Yu authored at least 4 papers between 2024 and 2026.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Links

On csauthors.net:

Bibliography

2026

Inferring Typing Rules for Contextual Sugars.

[BibT_eX]

[DOI]

Proceedings of the 2026 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, 2026

2024

Artifact for OOPSLA'24: Semantics Lifting for Syntactic Sugar.

[BibT_eX]

[DOI]

Dataset, September, 2024

Artifact for OOPSLA'24: Semantics Lifting for Syntactic Sugar.

[BibT_eX]

[DOI]

Dataset, September, 2024

Semantics Lifting for Syntactic Sugar.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2024

Tailai Yu

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...