Not registered as user yet

Name: Kevin Hammond

Affiliation: University of St. Andrews, UK

ICFP 2016 Activities

• Author of Farms, Pipes, Streams and Reforestation: Reasoning about Structured Parallel Processes using Types and Hylomorphisms within the Research Papers-track in ICFP 2016
• Author of Towards Semi-Automatic Data-Type Translation for Parallelism in Erlang within the Erlang-track in Erlang 2016
• Show activities from other conferences