Abstraction Functions as Types: Modular Verification of Cost and Behavior in Dependent Type Theory

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος:	Abstraction Functions as Types: Modular Verification of Cost and Behavior in Dependent Type Theory
Συγγραφείς:	Grodin, Harrison, Li, Runming, Harper, Robert
Πηγή:	Proceedings of the ACM on Programming Languages. 10(POPL):895-922
Διαθεσιμότητα:	http://dl.acm.org/doi/10.1145/3776673
Βάση Δεδομένων:	ACM Full-Text Collection

Περιγραφή
ISSN:	24751421
DOI:	10.1145/3776673