Christopher Jenkins

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 15

Top Topics

Data Representations

Pattern Matching

Equational Theories

Top Venues

Proc. ACM Program. Lang.

Publications

Maximilian M. Maurer, Christopher Jenkins, Filip Miletic, Sabine Schulte im Walde
Classifying Noun Compounds for Present-Day Compositionality: Contributions of Diachronic Frequency and Productivity Patterns. KONVENS (2023)
Christopher Jenkins, Filip Miletic, Sabine Schulte im Walde
To Split or Not to Split: Composing Compounds in Contextual Vector Spaces. EMNLP (2023)
Harold Carr, Christopher Jenkins, Mark Moir, Victor Cacciari Miraldo, Lisandra Silva
Towards Formal Verification of HotStuff-based Byzantine Fault Tolerant Consensus in Agda: Extended Version. CoRR (2022)
Christopher Jenkins, Andrew Marmaduke, Aaron Stump
Simulating Large Eliminations in Cedille. CoRR (2021)
Aaron Stump, Benjamin Delaware, Christopher Jenkins
Relational Type Theory (All Proofs). CoRR (2021)
Christopher Jenkins, Aaron Stump
Monotone recursive types and recursive data representations in Cedille. Math. Struct. Comput. Sci. 31 (6) (2021)
Christopher Jenkins, Aaron Stump, Larry Diehl
Efficient lambda encodings for Mendler-style coinductive types in Cedille. MSFP@ETAPS (2020)
Andrew Marmaduke, Christopher Jenkins, Aaron Stump
Zero-Cost Constructor Subtyping. IFL (2020)
Aaron Stump, Christopher Jenkins, Stephan Spahn, Colin McDonald
Strong functional pearl: Harper's regular-expression matcher in Cedille. Proc. ACM Program. Lang. 4 (ICFP) (2020)
Christopher Jenkins, Aaron Stump
Monotone recursive types and recursive data representations in Cedille. CoRR (2020)
Andrew Marmaduke, Christopher Jenkins, Aaron Stump
Quotients by Idempotent Functions in Cedille. TFP (2019)
Christopher Jenkins, Colin McDonald, Aaron Stump
Elaborating Inductive Datatypes and Course-of-Values Pattern Matching to Cedille. CoRR (2019)
Christopher Jenkins, Aaron Stump
Spine-local Type Inference. CoRR (2018)
Denis Firsov, Larry Diehl, Christopher Jenkins, Aaron Stump
Course-of-Value Induction in Cedille. CoRR (2018)
Christopher Jenkins, Aaron Stump
Spine-local Type Inference. IFL (2018)
Christopher Jenkins, Jayawant Kakade, Dimitri Kagaris
Cellular Automata with Large Channel Separations. ISCAS (2007)