Robert Atkey

Registered user since Tue 3 Oct 2017

Name: Robert Atkey

Affiliation: University of Strathclyde

Personal website: http://bentnib.org/

Contributions

ML 2019Author of An Idris Foreign Function Interface to OCaml within the ML 2019-track
Off the Beaten Track 2019General Co-Chair in Organizing Committee within the Off the Beaten Track 2019-track
DICE-FOPARA 2019Committee Member in Program Committee within the DICE-FOPARA-track
ECOOP 2019Committee Member in Program Committee within the Research Papers-track
POPL 2019Committee Member in Program Committee within the Research Papers-track
TyDe 2018Author of Extended Abstract: Context Constrained Computing within the TyDe 2018-track
ICFP 2019Session Chair of The Real World (part of Research Papers)
Author of Dijkstra Monads for All within the Research Papers-track
Committee Member in External Review Committee within the Research Papers-track
ProWeb 2018Author of Handlers.Js within the ProWeb 2018-track
Off the Beaten Track 2018General Chair in Organizing Committee within the Off the Beaten Track 2018-track
FSCD 2017Author of Continuation Passing Style for Effect Handlers within the FSCD 2017-track
ICFP 2018Author of A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs within the Research Papers-track
ICFP 2017Committee Member in Program Committee within the Research Papers-track
Off the Beaten Track 2017Program Chair in Organizing Committee within the OBT-track
HOPE 2016Committee Member in Program Committee within the HOPE-track
Off the Beaten Track 2016Keynote Speaker of Keynote Talk: Generalising Abstraction within the Off the Beaten Track-track
POPL 2016Session Chair of Track 2: Types and Foundations (part of Research Papers)
Committee Member in Program Committee within the Research Papers-track
Committee Member in Program Committee