11 citations · 11 across the 2 of their papers we have counts for
2 papers
cs.PL2026
Powerdomains and nondeterminism in synthetic domain theory
Yue Niu, Taro Sekiyama
Synthetic domain theory is an axiomatization of domain theory within a constructive universe of sets such that all definable maps between domains are continuous. In this paper we c…
cs.PL2026★ 11 cited
Decalf: A Directed, Effectful Cost-Aware Logical Framework
Harrison Grodin, Yue Niu, Jonathan Sterling +1
We present Decalf, a directed, effectful cost-aware logical framework for studying quantitative aspects of functional programs with effects. Like Calf, the language is based on an…