Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Dominic Orchard
Quantitative Program Reasoning With Graded Modal Types
Proceedings of the ACM on Programming Languages
Automatic Reordering for Dataflow Safety of Datalog
Combining Effects and Coeffects via Grading