Search results

Create the page "Ohad" on this wiki! See also the search results found.

• Main Page
  |[http://denotational.co.uk/ Ohad Kammar] (UK)
  9 KB (1,329 words) - 15:42, 23 November 2024
• WG211/M18Yallop
  ...ata as free extension of algebras''' (joint work with Tamara von Glehn and Ohad Kammar)
  884 bytes (127 words) - 17:13, 14 May 2018
• WG211/M21Schedule
  ...ampusano, 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
• WG211/M22Schedule
  * 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
• WG211/M23Schedule
  * Ohad Kammar * Ohad Kammar [[WG211/M23Kammar | Paella: handlers for parameterised algebraic eff
  13 KB (1,830 words) - 12:12, 27 March 2024
• WG211/M23Kammar
  == Paella: handlers for parameterised algebraic effects (Ohad Kammar) ==
  837 bytes (107 words) - 02:22, 27 March 2024
• WG211/M24Schedule
  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,455 words) - 17:14, 4 December 2024