37 citations · 133 across the 20 of their papers we have counts for
26 papers
Amortized Analysis via Coinduction
Harrison Grodin, Robert Harper
Amortized analysis is a program cost analysis technique for data structures in which the cost of operations is specified in aggregate, under the assumption of continued sequential…
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…
Sheaf semantics of termination-insensitive noninterference
Jonathan Sterling, Robert Harper
We propose a new sheaf semantics for secure information flow over a space of abstract behaviors, based on synthetic domain theory: security classes are open/closed partitions, type…
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…
An Equational Logical Framework for Type Theories
Robert Harper
A wide range of intuitionistic type theories may be presented as equational theories within a logical framework. This method was formulated by Per Martin-Löf in the mid-1980's and…
Balancing Capacity and Epidemic Spread in the Global Airline Network
Robert Harper, Philip Tee
The structure of complex networks has long been understood to play a role in transmission and spreading phenomena on a graph. This behavior is difficult to model analytically and i…