C. B. Aberlé

According to our database, C. B. Aberlé authored at least 6 papers between 2024 and 2026.

Collaborative distances:

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

2026

Compositional Program Verification with Polynomial Functors in Dependent Type Theory.

C. B. Aberlé

CoRR, April, 2026

2025

Substructural Parametricity.

C. B. Aberlé, Chris Martens, Frank Pfenning

CoRR, March, 2025

Substructural Parametricity.

C. B. Aberlé, Karl Crary, Chris Martens, Frank Pfenning

Proceedings of the 10th International Conference on Formal Structures for Computation and Deduction, 2025

2024

Polynomial Universes and Dependent Types.

C. B. Aberlé, David I. Spivak

Proceedings of the 41st Conference on the Mathematical Foundations of Programming Semantics, 2024

Parametricity via Cohesion.

C. B. Aberlé

Proceedings of the 40th Conference on the Mathematical Foundations of Programming Semantics, 2024

Foundations of Substructural Dependent Type Theory.

C. B. Aberlé

CoRR, 2024