1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.PL2022
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…
cs.PL2021
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…
cs.PL2020★ 1 cited
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…