Partiality Wrecks GADTs' Functoriality" by Pierre Cagne and Patricia Johann was accepted to TYPES 2023, the 29th International Conference on Types for Proofs and Programs.
The paper shows that GADTs cannot be given functorial semantics in any category that supports a computationally relevant notion of partiality. The conference will be held in Valencia, Spain 12-15 June 2023.
Dr. Patricia Johann
Dr. Pierre Cagne