Academic Journal
Abstraction Functions as Types: Modular Verification of Cost and Behavior in Dependent Type Theory
| Title: | Abstraction Functions as Types: Modular Verification of Cost and Behavior in Dependent Type Theory |
|---|---|
| Authors: | Grodin, Harrison, Li, Runming, Harper, Robert |
| Source: | Proceedings of the ACM on Programming Languages. 10(POPL):895-922 |
| Availability: | http://dl.acm.org/doi/10.1145/3776673 |
| Database: | ACM Full-Text Collection |
Be the first to leave a comment!