Robert Atkey - ICFP 2019

Sun 18 - Fri 23 August 2019 Berlin, Germany

Registered user since Tue 3 Oct 2017

Name: Robert Atkey

Affiliation: University of Strathclyde

Personal website: http://bentnib.org/

Contributions

ML 2019	An Idris Foreign Function Interface to OCaml
ICFP 2019	Session Chair of The Real World (part of Research Papers) Dijkstra Monads for All Committee Member in External Review Committee within the Research Papers-track
Show activities from other conferences