Christopher Jenkins

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Bibliography

2022
Towards Formal Verification of HotStuff-based Byzantine Fault Tolerant Consensus in Agda: Extended Version.
CoRR, 2022

2021
Monotone recursive types and recursive data representations in Cedille.
Math. Struct. Comput. Sci., 2021

Simulating Large Eliminations in Cedille.
CoRR, 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

Zero-Cost Constructor Subtyping.
Proceedings of the IFL 2020: 32nd Symposium on Implementation and Application of Functional Languages, 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...