2 citations · 2 across the 5 of their papers we have counts for
1 paper · 1 filter
Paulette Koronkevich, William J. Bowman
In this paper, we explore a connection between type universes and memory allocation. Type universe hierarchies are used in dependent type theories to ensure consistency, by forbidd…