Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Harley Eades III

Quantitative Program Reasoning With Graded Modal Types

Proceedings of the ACM on Programming Languages

English