Ohad Kammar - ICFP 2017

Sun 3 - Sat 9 September 2017 Oxford, United Kingdom

Registered user since Thu 4 May 2017

Name:Ohad Kammar

Country:United Kingdom

Affiliation:University of Oxford, UK

Personal website: http://www.cs.ox.ac.uk/people/ohad.kammar/main.html

Contributions

2017

ICFP

On the Expressive Power of User-Defined Effects: Effect Handlers, Monadic Reflection, Delimited Control

HOPE

A monadic solution to the Cartwright-Felleisen-Wadler conjecture

Show activities from other conferences

ICFP 2017-profile
View general profile