Search results
From WG 2.11
Jump to navigationJump to search
- ''Ohad Kammar'', joint work with ''Amaury Mazoyer'' ...515 bytes (64 words) - 07:58, 13 October 2026
- == Paella: handlers for parameterised algebraic effects (Ohad Kammar) == ...837 bytes (107 words) - 02:22, 27 March 2024
- (joint work with Guillaume Allais, Edwin Brady, Nathan Corbyn and Ohad Kammar) ...760 bytes (103 words) - 17:07, 7 November 2025
- ...ata as free extension of algebras''' (joint work with Tamara von Glehn and Ohad Kammar) ...884 bytes (127 words) - 17:13, 14 May 2018
- * Ohad Kammar * Ohad Kammar [[WG211/M26Kammar|Modular construction of sound-and-complete simplif ...9 KB (1,307 words) - 11:11, 26 October 2026
- * Ohad Kammar * Ohad Kammar [[WG211/M23Kammar | Paella: handlers for parameterised algebraic eff ...13 KB (1,830 words) - 12:12, 27 March 2024
- ...Campusano, Jacques Carette, Charisee Chiw, Sebastian Erdweg, Robert Glück, Ohad Kammar, Paul Kelly, Julia Lawall, Peter Mosses, Christoph Reichenbach, Ulri * Ohad Kammar [[WG211/M21Kammar | Frex: staged-optimisation and equational-proof-s ...13 KB (2,072 words) - 22:19, 27 February 2023
- |[http://denotational.co.uk/ Ohad Kammar] (UK) ...6 KB (929 words) - 17:25, 31 July 2026
- * Ohad Kammar 15:00 Ohad Kammar - [[WG211/M22Kammar | From modern partial evaluation to modern algeb ...11 KB (1,662 words) - 11:51, 28 April 2023
- * Ohad Kammar * Ohad Kammar ...18 KB (2,755 words) - 15:29, 10 December 2025
- The meeting will be hosted by [https://www.denotational.co.uk/ Ohad Kammar], who will write in the first person in the remainder. * Ohad Kammar ...17 KB (2,513 words) - 16:23, 5 December 2024
