dsDraw: Programmable Animations and Animated Programs. - Daniel Jeffries; Raghuveer Mohan; Cindy Norris (ACM Southeast Regional Conference, 2020)

Parametricity for Primitive Nested Types. - Patricia Johann; Enrico Ghiorzi; Daniel Jeffries (FoSSaCS, 2021)

Parametricity for Nested Types and GADTs. - Patricia Johann; Enrico Ghiorzi; Daniel Jeffries (CoRR, 2021)

GADTs, Functoriality, Parametricity: Pick Two. - Patricia Johann; Enrico Ghiorzi; Daniel Jeffries (LSFA, 2021)

(Deep) Induction Rules for GADTs. - Patricia Johann; Enrico Ghiorzi; Daniel Jeffries (CoRR, 2021)

OSUniverse: Benchmark for Multimodal GUI-navigation AI Agents. - Mariya Davydova; Daniel Jeffries; Patrick Barker; Arturo Márquez Flores; Sinéad Ryan (CoRR, 2025)