Daniel Jeffries

According to our database, Daniel Jeffries authored at least 5 papers between 2020 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2021

(Deep) Induction Rules for GADTs.

Patricia Johann, Enrico Ghiorzi, Daniel Jeffries

CoRR, 2021

GADTs, Functoriality, Parametricity: Pick Two.

Patricia Johann, Enrico Ghiorzi, Daniel Jeffries

Proceedings of the Proceedings 16th Logical and Semantic Frameworks with Applications, 2021

Parametricity for Nested Types and GADTs.

Patricia Johann, Enrico Ghiorzi, Daniel Jeffries

CoRR, 2021

Parametricity for Primitive Nested Types.

Patricia Johann, Enrico Ghiorzi, Daniel Jeffries

Proceedings of the Foundations of Software Science and Computation Structures, 2021

2020

dsDraw: Programmable Animations and Animated Programs.

Daniel Jeffries, Raghuveer Mohan, Cindy Norris

Proceedings of the 2020 ACM Southeast Conference, 2020