1 citations · 1 across the 1 of their papers we have counts for
1 paper
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…