27 citations · 53 across the 14 of their papers we have counts for
1 paper · 1 filter
Robert Atkey, Patricia Johann, Neil Ghani
Dependently typed programming languages allow sophisticated properties of data to be expressed within the type system. Of particular use in dependently typed programming are indexe…