Data Layout from a Type-Theoretic Perspective
Work
Year: 2023
Type: article
Abstract: The specifics of data layout can be important for the efficiency of functional programs and interaction with external libraries. In this paper, we develop a type-theoretic approach to data layout that... more
Authors Henry DeYoung, Frank Pfenning
Institution Carnegie Mellon University
Cites: 16
Cited by: 3
Related to: 10
FWCI: 0.854
Citation percentile (by year/subfield): 49.75
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: hybrid