Chris Heunen, Ohad Kammar, Sam Staton, Hongseok Yang. 2017. Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, to appear, arXiv:1701.02547.
Ohad Kammar, Paul Blain Levy, Sean Keith Moss, Sam Staton. 2017. Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, to appear, arXiv:1702.04908.
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.
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.