1 citations · 1 across the 8 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.LO2024
Reflexive graph lenses in univalent foundations
Jonathan Sterling
Martin-Löf's identity types provide a generic (albeit opaque) notion of identification or "equality" between any two elements of the same type, embodied in a canonical reflexive gr…
cs.PL2024
Cost-sensitive computational adequacy of higher-order recursion in synthetic domain theory
Yue Niu, Jonathan Sterling, Robert Harper
We study a cost-aware programming language for higher-order recursion dubbed in the setting of synthetic domain theory (SDT). Our main contribution rel…