18 citations · 62 across the 18 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…