11 citations · 12 across the 5 of their papers we have counts for
5 papers · 1 filter
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…
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…
A metalanguage for cost-aware denotational semantics
Yue Niu, Robert Harper
We present two metalanguages for developing of programming languages. Extending the recent work of Niu et al. [2022] on $\tex…
A cost-aware logical framework
Yue Niu, Jonathan Sterling, Harrison Grodin +1
We present , a ost-ware ogical ramework for studying quantitative aspects of functional programs. Taking inspiration…
Cost-Aware Type Theory
Yue Niu, Robert Harper
Although computational complexity is a fundamental aspect of program behavior, it is often at odds with common type theoretic principles such as function extensionality, which iden…