Bob Atkey

Accepting PhD Students

If you made any changes in Pure these will be visible here soon.

Filter

NII Shonan Seminar no. 146 “Programming and Reasoning with Algebraic Effects and Effect Handlers”
Bob Atkey (Participant)
24 Mar 2019 → 29 Mar 2019
Activity: Participating in or organising an event types › Participation in workshop, seminar, course
Dagstuhl Seminar 18172 "Algebraic Effect Handlers go Mainstream"
Bob Atkey (Participant)
22 Apr 2018 → 27 Apr 2018
Activity: Participating in or organising an event types › Participation in workshop, seminar, course
Dagstuhl Seminar 17291 "Resource Bound Analysis"
Bob Atkey (Participant)
16 Jul 2017 → 21 Jul 2017
Activity: Participating in or organising an event types › Participation in workshop, seminar, course
Dagstuhl Seminar 17051 "Theory and Applications of Behavioural Types"
Bob Atkey (Participant)
29 Jan 2017 → 3 Feb 2017
Activity: Participating in or organising an event types › Participation in workshop, seminar, course

Activities