5 citations · 8 across the 4 of their papers we have counts for
1 paper · 1 filter
Henry DeYoung, Frank Pfenning
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…