Simcha van Collem

According to our database, Simcha van Collem authored at least 2 papers between 2025 and 2026.

Collaborative distances:

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

2026

A Relational Separation Logic for Effect Handlers.

Paulo Emílio de Vilhena, Simcha van Collem, Ines Wright, Robbert Krebbers

Proc. ACM Program. Lang., 2026

2025

Initial Algebras of Domains via Quotient Inductive-Inductive Types.

Simcha van Collem, Niels van der Weide, Herman Geuvers

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