Generic zero-cost reuse for dependent types

Journal article

Open access

Larry Diehl, Denis Firsov and Aaron Stump

Proceedings of ACM on programming languages, Vol.2(ICFP), pp.1-30

07/30/2018

DOI: 10.1145/3236799

Files and links (1)

url

https://doi.org/10.1145/3236799View

Published (Version of record) Open Access

Title: Subtitle: Generic zero-cost reuse for dependent types
Creators: Larry Diehl - University of Iowa, USA
Denis Firsov - University of Iowa, USA
Aaron Stump - University of Iowa, USA
Resource Type: Journal article
Publication Details: Proceedings of ACM on programming languages, Vol.2(ICFP), pp.1-30
DOI: 10.1145/3236799
ISSN: 2475-1421
eISSN: 2475-1421
Grant note: DOI: 10.13039/100000005, name: U.S. Department of Defense, award: FA9550-16-1-0082; DOI: 10.13039/100000001, name: National Science Foundation, award: 1524519
Language: English
Date published: 07/30/2018
Academic Unit: Computer Science
Record Identifier: 9984002324802771

23 Record Views