Christopher Jenkins

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
Relational Type Theory (All Proofs).
CoRR, 2021

2020
Strong functional pearl: Harper's regular-expression matcher in Cedille.
Proc. ACM Program. Lang., 2020

Efficient lambda encodings for Mendler-style coinductive types in Cedille.
Proceedings of the Proceedings Eighth Workshop on Mathematically Structured Functional Programming, 2020

Monotone recursive types and recursive data representations in Cedille.
CoRR, 2020

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

Quotients by Idempotent Functions in Cedille.
Proceedings of the Trends in Functional Programming - 20th International Symposium, 2019

2018
Course-of-Value Induction in Cedille.
CoRR, 2018

Spine-local Type Inference.
Proceedings of the 30th Symposium on Implementation and Application of Functional Languages, 2018

2007
Cellular Automata with Large Channel Separations.
Proceedings of the International Symposium on Circuits and Systems (ISCAS 2007), 2007


  Loading...