https://zilberstein.github.io/ https://zilberstein.github.io/about/ https://zilberstein.github.io/publication/ https://zilberstein.github.io/publication/completeness/ 2025-10-06 https://zilberstein.github.io/publication/cpp22/ 2022-01-17 https://zilberstein.github.io/publication/haskell20/ 2020-08-27 https://zilberstein.github.io/publication/hyper/ 2024-10-01 https://zilberstein.github.io/publication/osl/ 2024-04-08 https://zilberstein.github.io/publication/outcome/ 2023-02-21 https://zilberstein.github.io/publication/pcol/ 2026-01-01 https://zilberstein.github.io/publication/pomsets/ 2025-08-18 https://zilberstein.github.io/publication/popl25/ 2025-01-01