Daniel Jeffries

Publication Activity (10 Years)

Years Active: 2020-2021
Publications (10 Years): 5

Top Topics

Computer Programs

Rule Generation

Top Venues

ACM Southeast Regional Conference

Publications

Patricia Johann, Enrico Ghiorzi, Daniel Jeffries
GADTs, Functoriality, Parametricity: Pick Two. CoRR (2021)
Patricia Johann, Enrico Ghiorzi, Daniel Jeffries
Parametricity for Nested Types and GADTs. CoRR (2021)
Patricia Johann, Enrico Ghiorzi, Daniel Jeffries
(Deep) Induction Rules for GADTs. CoRR (2021)
Patricia Johann, Enrico Ghiorzi, Daniel Jeffries
Parametricity for Primitive Nested Types. FoSSaCS (2021)
Daniel Jeffries, Raghuveer Mohan, Cindy Norris
dsDraw: Programmable Animations and Animated Programs. ACM Southeast Regional Conference (2020)