Wenjia Ye

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 5

Top Topics

Operational Semantics

Lambda Calculus

Top Venues

Proc. ACM Program. Lang.

Dagstuhl Artifacts Ser.

Publications

Wenjia Ye, Bruno C. d. S. Oliveira
Pragmatic Gradual Polymorphism with References. ESOP (2023)
Wenjia Ye, Matías Toro, Federico Olmedo
A Gradual Probabilistic Lambda Calculus. Proc. ACM Program. Lang. 7 (OOPSLA1) (2023)
Wenjia Ye, Bruno C. d. S. Oliveira, Xuejing Huang
Type-Directed Operational Semantics for Gradual Typing. ECOOP (2021)
Wenjia Ye, Bruno C. d. S. Oliveira, Xuejing Huang
Type-Directed Operational Semantics for Gradual Typing (Artifact). Dagstuhl Artifacts Ser. 7 (2) (2021)
Yong Xie, Xin Su, Yifan He, Xuhui Chen, Gengliang Cai, Baisheng Xu, Wenjia Ye
STM32-based vehicle data acquisition system for Internet-of-Vehicles. ICIS (2017)