Qunhui Zhang
2 indexed papers
Recent (6 mo)
2With code
0Influential cites
0Benchmarked
0Publications per year
226
Top categories
Prog. Lang.×2
Research Timeline
2026
VirtualSet: Typed Ontology Worlds as an LLM Generation Target for Grounded Queries and Guarded Decisions
This paper introduces VirtualSet, a live, receiver-typed ontology-world interface for large language models to interact with enterprise data, ensuring pre-execution semantics for guarded decisions.
Generalized Constraint Projection: Four-Dimensional Type Inference for Dynamic Languages
This paper introduces Generalized Constraint Projection (GCP), a zero-annotation inference framework for dynamically typed languages, which separates sources of evidence for function parameters and proves its convergence and soundness.
Highlighted terms show continued research focus across papers
Papers
cs.PLTheoreticalRecentJul 22, 2026
Generalized Constraint Projection: Four-Dimensional Type Inference for Dynamic Languages
This paper introduces Generalized Constraint Projection (GCP), a zero-annotation inference framework for dynamically typed languages, which separates sources of evidence for function parameters and pr…
View →
cs.PLEmpiricalRecent