Celia Mengyue Li

According to our database, Celia Mengyue Li authored at least 2 papers in 2026.

Collaborative distances:

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

2026

A Complementary Approach to Incorrectness Typing.

Celia Mengyue Li, Sophie Pull, Steven Ramsay

Proc. ACM Program. Lang., 2026

Domain-Theoretic Semantics for Functional Logic Programming.

Eddie Jones, Samson Main, Celia Mengyue Li, Jonathan Marriott, G. A. Kavvos

Proc. ACM Program. Lang., 2026