Christopher Jenkins

According to our database, Christopher Jenkins authored at least 14 papers between 2007 and 2023.

Collaborative distances:

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

2023

Classifying Noun Compounds for Present-Day Compositionality: Contributions of Diachronic Frequency and Productivity Patterns.

Maximilian M. Maurer, Christopher Jenkins, Filip Miletic, Sabine Schulte im Walde

Proceedings of the 19th Conference on Natural Language Processing (KONVENS 2023), 2023

To Split or Not to Split: Composing Compounds in Contextual Vector Spaces.

Christopher Jenkins, Filip Miletic, Sabine Schulte im Walde

Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, 2023

2022

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

Harold Carr, Christopher Jenkins, Mark Moir, Victor Cacciari Miraldo, Lisandra Silva

CoRR, 2022

2021

Monotone recursive types and recursive data representations in Cedille.

Christopher Jenkins, Aaron Stump

Math. Struct. Comput. Sci., 2021

Simulating Large Eliminations in Cedille.

Christopher Jenkins, Andrew Marmaduke, Aaron Stump

CoRR, 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

Zero-Cost Constructor Subtyping.

Andrew Marmaduke, Christopher Jenkins, Aaron Stump

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.

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