11 citations · 57 across the 11 of their papers we have counts for
1 paper · 1 filter
Patricia Johann, Pierre Cagne
It is well-known that GADTs do not admit standard map functions of the kind supported by ADTs and nested types. In addition, standard map functions are insufficient to distribute t…