research
∙
05/17/2021
(Deep) Induction Rules for GADTs
Deep data types are those that are defined in terms of other such data t...
research
∙
05/07/2021
GADTs, Functoriality, Parametricity: Pick Two
GADTs can be represented either as their Church encodings à la Atkey, or...
research
∙
01/13/2021