Characterizing Functions Mappable over GADTs.

Patricia Johann, Pierre Cagne

Browse the full APLAS paper archive.