Wenjia Ye

According to our database, Wenjia Ye authored at least 10 papers between 2017 and 2025.

Collaborative distances:

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

2025

Principal Type Inference under a Prefix: A Fresh Look at Static Overloading.

Daan Leijen, Wenjia Ye

Proc. ACM Program. Lang., 2025

Elucidating Type Conversions in SQL Engines.

Wenjia Ye, Matías Toro, Claudio Gutierrez, Bruno C. d. S. Oliveira, Éric Tanter

Proceedings of the Programming Languages and Systems, 2025

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