Christopher Jenkins

14 papers C 1Journal 9Unranked 4
YearRankTypeTitle / Venue / Authors
2022 J jnl
Towards Formal Verification of HotStuff-based Byzantine Fault Tolerant Consensus in Agda: Extended Version.
CoRR
Harold Carr, Christopher Jenkins, Mark Moir, Victor Cacciari Miraldo, Lisandra Silva
2021 J jnl
Monotone recursive types and recursive data representations in Cedille.
Math. Struct. Comput. Sci.
Christopher Jenkins, Aaron Stump
2021 J jnl
Relational Type Theory (All Proofs).
CoRR
Aaron Stump, Benjamin Delaware, Christopher Jenkins
2021 J jnl
Simulating Large Eliminations in Cedille.
CoRR
Christopher Jenkins, Andrew Marmaduke, Aaron Stump
2020 — conf
Efficient lambda encodings for Mendler-style coinductive types in Cedille.
MSFP@ETAPS
Christopher Jenkins, Aaron Stump, Larry Diehl
2020 J jnl
Monotone recursive types and recursive data representations in Cedille.
CoRR
Christopher Jenkins, Aaron Stump
2020 J jnl
Strong functional pearl: Harper's regular-expression matcher in Cedille.
Proc. ACM Program. Lang.
Aaron Stump, Christopher Jenkins, Stephan Spahn, Colin McDonald
2020 — conf
Zero-Cost Constructor Subtyping.
IFL
Andrew Marmaduke, Christopher Jenkins, Aaron Stump
2019 J jnl
Elaborating Inductive Datatypes and Course-of-Values Pattern Matching to Cedille.
CoRR
Christopher Jenkins, Colin McDonald, Aaron Stump
2019 — conf
Quotients by Idempotent Functions in Cedille.
TFP
Andrew Marmaduke, Christopher Jenkins, Aaron Stump
2018 J jnl
Course-of-Value Induction in Cedille.
CoRR
Denis Firsov, Larry Diehl, Christopher Jenkins, Aaron Stump
2018 — conf
Spine-local Type Inference.
IFL
Christopher Jenkins, Aaron Stump
2018 J jnl
Spine-local Type Inference.
CoRR
Christopher Jenkins, Aaron Stump
2007 C conf
Cellular Automata with Large Channel Separations.
ISCAS
Christopher Jenkins, Jayawant Kakade, Dimitri Kagaris