311 citations · 1.2k across the 38 of their papers we have counts for
1 paper · 2 filters
Peng Fu, Peter Selinger
A well-known problem in the theory of dependent types is how to handle so-called nested data types. These data types are difficult to program and to reason about in total dependent…