On Friday October 17, this site was moved to a new server, https://mw.hh.se. The original address will continue to work. Whithin a week or two this site will return to the original address. /Peo HH IT-dep
Search results
From WG 2.11
Jump to navigationJump to search
- == Paella: handlers for parameterised algebraic effects (Ohad Kammar) == ...837 bytes (107 words) - 03:22, 27 March 2024
- ...ata as free extension of algebras''' (joint work with Tamara von Glehn and Ohad Kammar) ...884 bytes (127 words) - 18:13, 14 May 2018
- * Ohad Kammar * Ohad Kammar [[WG211/M23Kammar | Paella: handlers for parameterised algebraic eff ...13 KB (1,830 words) - 13: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) - 23:19, 27 February 2023
- |[http://denotational.co.uk/ Ohad Kammar] (UK) ...6 KB (917 words) - 16:13, 27 August 2025
- * Ohad Kammar 15:00 Ohad Kammar - [[WG211/M22Kammar | From modern partial evaluation to modern algeb ...11 KB (1,662 words) - 12:51, 28 April 2023
- 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) - 17:23, 5 December 2024
- * Ohad Kammar ...12 KB (1,912 words) - 08:02, 21 October 2025
