Daniel Zackon

According to our database, Daniel Zackon authored at least 2 papers between 2024 and 2025.

Collaborative distances:

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

2025

Split Decisions: Explicit Contexts for Substructural Languages.

Daniel Zackon, Chuta Sano, Alberto Momigliano, Brigitte Pientka

Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2025

2024

The Concurrent Calculi Formalisation Benchmark.

Marco Carbone, David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Frederik Krogsdal Jacobsen, Alberto Momigliano, Luca Padovani, Alceste Scalas, Dawit Legesse Tirore, Martin Vassor, Nobuko Yoshida, Daniel Zackon

Proceedings of the Coordination Models and Languages, 2024