40 citations · 48 across the 3 of their papers we have counts for
1 paper · 1 filter
Olha Shkaravska, Marko van Eekelen, Ron van Kesteren
We present a size-aware type system for first-order shapely function definitions. Here, a function definition is called shapely when the size of the result is determined exactly by…