Christopher Jenkins

According to our database, Christopher Jenkins authored at least 9 papers between 2007 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Relational Type Theory (All Proofs).

Aaron Stump, Benjamin Delaware, Christopher Jenkins

CoRR, 2021

2020

Strong functional pearl: Harper's regular-expression matcher in Cedille.

Aaron Stump, Christopher Jenkins, Stephan Spahn, Colin McDonald

Proc. ACM Program. Lang., 2020

Efficient lambda encodings for Mendler-style coinductive types in Cedille.

Christopher Jenkins, Aaron Stump, Larry Diehl

Proceedings of the Proceedings Eighth Workshop on Mathematically Structured Functional Programming, 2020

Monotone recursive types and recursive data representations in Cedille.

Christopher Jenkins, Aaron Stump

CoRR, 2020

2019

Elaborating Inductive Datatypes and Course-of-Values Pattern Matching to Cedille.

Christopher Jenkins, Colin McDonald, Aaron Stump

CoRR, 2019

Quotients by Idempotent Functions in Cedille.

Andrew Marmaduke, Christopher Jenkins, Aaron Stump

Proceedings of the Trends in Functional Programming - 20th International Symposium, 2019

2018

Course-of-Value Induction in Cedille.

Denis Firsov, Larry Diehl, Christopher Jenkins, Aaron Stump

CoRR, 2018

Spine-local Type Inference.

Christopher Jenkins, Aaron Stump

Proceedings of the 30th Symposium on Implementation and Application of Functional Languages, 2018

2007

Cellular Automata with Large Channel Separations.

Christopher Jenkins, Jayawant Kakade, Dimitri Kagaris

Proceedings of the International Symposium on Circuits and Systems (ISCAS 2007), 2007