research
∙
03/28/2022
How Functorial Are (Deep) GADTs?
It is well-known that GADTs do not admit standard map functions of the k...
research
∙
09/29/2017
Use your Google Account to sign in to DeepAI