6 citations · 7 across the 2 of their papers we have counts for
4 papers
How Functorial Are (Deep) GADTs?
Patricia Johann, Pierre Cagne
It is well-known that GADTs do not admit standard map functions of the kind supported by ADTs and nested types. In addition, standard map functions are insufficient to distribute t…
On local presentability of T/A
Patricia Johann, Andrew Polonsky
We prove that if is a locally -presentable category and is a -accessible functor then is locally -presentab…
A General Framework for Relational Parametricity
Kristina Sojakova, Patricia Johann
Reynolds' original theory of relational parametricity was intended to capture the idea that polymorphically typed System F programs preserve all relations between inputs. But as Re…
Cubical Categories for Higher-Dimensional Parametricity
Patricia Johann, Kristina Sojakova
Reynolds' theory of relational parametricity formalizes parametric polymorphism for System F, thus capturing the idea that polymorphically typed System F programs always map relate…