Biography

For full details and all papers and preprints, please see my personal webpage.

Selected Publications

View AllManage publications

• Note: Not all publications are listed here. Please see people pages.

   

  2099.

  Details about Note: Not all publications are listed here. Please see people pages. | BibTeX data for Note: Not all publications are listed here. Please see people pages.

• The Relative Monadic Metalanguage

  Jack Liell−Cock‚ Zev Shirazi and Sam Staton

  In Proceedings of the ACM on Programming Languages. Vol. 10. No. POPL. Pages 1730–1758. 2026.

  Details about The Relative Monadic Metalanguage | BibTeX data for The Relative Monadic Metalanguage | DOI (10.1145/3776702)

• An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on Finite Relations‚ Labelled Posets‚ and Parameterized Algebraic Theories

  Ohad Kammar‚ Jack Liell−Cock‚ Sam Lindley‚ Cristina Matache and Sam Staton

  In Proceedings of the ACM on Programming Languages. Vol. 10. No. POPL. Pages 1847–1875. 2026.

  Details about An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on Finite Relations‚ Labelled Posets‚ and Parameterized Algebraic Theories | BibTeX data for An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on Finite Relations‚ Labelled Posets‚ and Parameterized Algebraic Theories | DOI (10.1145/3776706)

Activities

• Differentiable and Probabilistic Programming
• Foundations of Programming Languages
• Quantum Group

Projects

• BLAST
• Quantum programming via algebraic effects
• Employing Categorical Probability Towards Safe AI
• SynthStats

Completed Projects

• Principled Foundations for Programming Languages

Current Students

Research

Past Students

Past Researchers