Wenjia Ye

According to our database, Wenjia Ye authored at least 8 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Imperative Compositional Programming: Type Sound Distributive Intersection Subtyping with References via Bidirectional Typing.

Wenjia Ye, Yaozhu Sun, Bruno C. d. S. Oliveira

Proc. ACM Program. Lang., 2024

Merging Gradual Typing.

Wenjia Ye, Bruno C. d. S. Oliveira, Matías Toro

Proc. ACM Program. Lang., 2024

Type-directed operational semantics for gradual typing.

Wenjia Ye, Bruno C. d. S. Oliveira

J. Funct. Program., 2024

2023

A Gradual Probabilistic Lambda Calculus.

Wenjia Ye, Matías Toro, Federico Olmedo

Proc. ACM Program. Lang., April, 2023

Pragmatic Gradual Polymorphism with References.

Wenjia Ye, Bruno C. d. S. Oliveira

Proceedings of the Programming Languages and Systems, 2023

2021

Type-Directed Operational Semantics for Gradual Typing (Artifact).

Wenjia Ye, Bruno C. d. S. Oliveira, Xuejing Huang

Dagstuhl Artifacts Ser., 2021

Type-Directed Operational Semantics for Gradual Typing.

Wenjia Ye, Bruno C. d. S. Oliveira, Xuejing Huang

Proceedings of the 35th European Conference on Object-Oriented Programming, 2021

2017

STM32-based vehicle data acquisition system for Internet-of-Vehicles.

Yong Xie, Xin Su, Yifan He, Xuhui Chen, Gengliang Cai, Baisheng Xu, Wenjia Ye

Proceedings of the 16th IEEE/ACIS International Conference on Computer and Information Science, 2017