research
∙
03/28/2022
How Functorial Are (Deep) GADTs?
It is well-known that GADTs do not admit standard map functions of the k...
share
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
Parametricity for Nested Types and GADTs
This paper considers parametricity and its consequent free theorems for ...
research
∙
07/06/2018
On local presentability of T/A
We prove that if A is a locally λ-presentable category and T : A→A is a ...
research
∙
04/30/2018