8 citations · 18 across the 4 of their papers we have counts for
4 papers
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…
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…
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…
The Foundational Cryptography Framework
Adam Petcher, Greg Morrisett
We present the Foundational Cryptography Framework (FCF) for developing and checking complete proofs of security for cryptographic schemes within a proof assistant. This is a gener…