Ezra Schoen

According to our database, Ezra Schoen authored at least 6 papers between 2022 and 2025.

Collaborative distances:

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

2025

Double Acts for Demystifying Subroutine Calling Conventions.

Alasdair Lambert, Stuart Gale, Ezra Schoen

Proceedings of the 30th ACM Conference on Innovation and Technology in Computer Science Education V. 2, 2025

2024

A Categorical Approach to Coalgebraic Fixpoint Logic.

Ezra Schoen, Clemens Kupke, Jurriaan Rot, Ruben Turkenburg

Proceedings of the Coalgebraic Methods in Computer Science, 2024

2023

Relative fixed points of functors.

Ezra Schoen, Jade Master, Clemens Kupke

CoRR, 2023

Beyond Initial Algebras and Final Coalgebras.

Ezra Schoen, Jade Master, Clemens Kupke

CoRR, 2023

Preservation and Reflection of Bisimilarity via Invertible Steps.

Ruben Turkenburg, Clemens Kupke, Jurriaan Rot, Ezra Schoen

Proceedings of the Foundations of Software Science and Computation Structures, 2023

2022

Lax Liftings and Lax Distributive Laws.

Ezra Schoen

Proceedings of the Proceedings Fifth International Conference on Applied Category Theory, 2022