Encode the Cake and Eat It Too: Controlling Computation in Type Theory, Locally

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος:	Encode the Cake and Eat It Too: Controlling Computation in Type Theory, Locally
Συγγραφείς:	Leray, Yann, Winterhalter, Théo
Πηγή:	Proceedings of the ACM on Programming Languages. 10(POPL):1790-1819
Διαθεσιμότητα:	http://dl.acm.org/doi/10.1145/3776704
Βάση Δεδομένων:	ACM Full-Text Collection

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