Jeremy Yallop, Tamara von Glehn, Ohad Kammar. 2018. Partially-Static Data as Free Extension of Algebras. Proc. ACM Program. Lang. 2, ICFP, Article 100 (September 2018), 30 pages., DOI: 10.1145/3236795.
Ohad Kammar and Dylan McDermott. 2018. 34th Conference on the Mathematical Foundations of Programming Semantics, accepted for publication, arXiv:1804.03460.
Adam Ścibior, Ohad Kammar, Matthijs Vákár, Sam Staton, Hongseok Yang, Yufei Cai, Klaus Ostermann, Sean K. Moss, Chris Heunen, and Zoubin Ghahramani. 2018. Proceedings of the 45th ACM SIGPLAN Symposium on Principles of Programming Languages, PACMPL 2(POPL), Article 60, arXiv:1711.03219, DOI: 10.1145/3158148.
Yannick Forster, Ohad Kammar, Sam Lindley, and Matija Pretnar. 2017. Proceedings of the 22nd ACM SIGPLAN International Conference on Functional Programming, PACMPL 1(ICFP): 13:1-13:29 (2017), arXiv:1610.09161, DOI: 10.1145/3110257.
Chris Heunen, Ohad Kammar, Sam Staton, Hongseok Yang. 2017. Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, arXiv:1701.02547, DOI: 10.1109/LICS.2017.8005137.
Ohad Kammar, Paul Blain Levy, Sean Keith Moss, Sam Staton. 2017. Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, arXiv:1702.04908, DOI: 10.1109/LICS.2017.8005109.
Fredrik Dahlqvist, Vincent Danos, Ilias Garnier, and Ohad Kammar. 2016. 27th International Conference on Concurrency Theory, Josée Desharnais and Radha Jagadeesan (Eds.), ISBN 978-3-95977-017-0, LIPICS Vol. 59.
Sam Staton, Hongseok Yang, Chris Heunen, Ohad Kammar, and Frank Wood. 2016. Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science Pages 525-534, arXiv:1601.04943, DOI: 10.1145/2933575.2935313.
Ehud Lammar and Ohad Kammar. 2014. Philosophy of Science Vol. 81, No. 4 (October), pp. 592-611. Published by: The University of Chicago Press on behalf of the Philosophy of Science Association, DOI: 10.1086/678045.
Ohad Kammar, Sam Lindley, and Nicolas Oury. 2013. Proceedings of the 18th ACM SIGPLAN international conference on Functional programming Pages 145-158, ISBN 978-1-4503-2326-0, DOI: 10.1145/2544174.2500590.
Ohad Kammar and Gordon D. Plotkin. 2012. Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages Pages 349-360, ISBN: 978-1-4503-1083-3, DOI: 10.1145/2103656.2103698.
Giorgio Bacci, Vincent Danos and Ohad Kammar. 2011. Algebra and Coalgebra in Computer Science. Corradini A., Klin B., Cîrstea C. (Eds.). Lecture Notes in Computer Science, vol 6859. Springer, Berlin, Heidelberg, DOI: 10.1007/978-3-642-22944-2_1.
A monad for full ground reference cells, Theoretische Informatik Seminar, Department of Computer Science, Faculty of Engineering, Friedrich-Alexander-Universität Erlangen-Nürnberg, 25 June, 2018.
No value restriction is needed for algebraic effects and handlers, ANTIQUE seminar, École normale supérieure, Paris, France., 16 June, 2016.
No value restriction is needed for algebraic effects and handlers, 22nd International Conference on Types for Proofs and Programs (TYPES 2016), 26 May, 2016.
No value restriction is needed for algebraic effects and handlers, Schloss Dagstuhl Seminar ‘From theory to practice of algebraic effects and handlers’, 18 March, 2016.
Liberated algebra valued functors in general and tensor products in particular by Prof. Peter Freyd from the trees.
I was unable to obtain Prof. Freyd’s permission to put this scan up, but the book that included it did not contain any copyright notice. If you know I am infringing on his copyright, please let me know.