PhD student in programming languages
-
University of Pennsylvania
- Philadelphia, PA
- paulhe.com
- https://orcid.org/0000-0002-6305-4335
Block or Report
Block or report Grain
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
GaloisInc/heapster-formalization
GaloisInc/heapster-formalization PublicA Coq formalization of the Heapster type system
-
DeepSpec/InteractionTrees
DeepSpec/InteractionTrees PublicA Library for Representing Recursive and Impure Programs in Coq
-
vellvm/ctrees
vellvm/ctrees PublicAn itree-like data-structure to additionally support internal non-determinism
-
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.