3 papers
cs.PL2018
An Application of Computable Distributions to the Semantics of Probabilistic Programs
Daniel Huang, Greg Morrisett, Bas Spitters
In this chapter, we explore how (Type-2) computable distributions can be used to give both (algorithmic) sampling and distributional semantics to probabilistic programs with contin…
cs.CY2017
A National Research Agenda for Intelligent Infrastructure
Elizabeth Mynatt, Jennifer Clark, Greg Hager +8
Our infrastructure touches the day-to-day life of each of our fellow citizens, and its capabilities, integrity and sustainability are crucial to the overall competitiveness and pro…
cs.LO2017
Revisiting Parametricity: Inductives and Uniformity of Propositions
Abhishek Anand, Greg Morrisett
Reynold's parametricity theory captures the property that parametrically polymorphic functions behave uniformly: they produce related results on related instantiations. In dependen…