• Sign in
  • Sign up
conf.researchr.org / David Castro-Perez
  • CC 2020 profile
  • ICFP 2016 profile
  • POPL 2019 profile
  • SPLASH 2020 profile
No Photo

Registered user since Tue 6 Nov 2018

Name:David Castro-Perez
Affiliation:Imperial College London

Contributions

2020

SPLASH

  • Author of CAMP: Cost-Aware Multiparty Session Protocols within the Posters-track
  • Author of CAMP: Cost-Aware Multiparty Session Protocols within the OOPSLA-track

CC

  • Author of Compiling First-order Functions to Session-Typed Parallel Code within the Main Conference-track

2019

POPL

  • Author of Distributed Programming using Role-Parametric Session Types in Go within the Research Papers-track

2016

ICFP

  • Author of Farms, Pipes, Streams and Reforestation: Reasoning about Structured Parallel Processes using Types and Hylomorphisms within the Research Papers-track

Erlang

  • Author of Towards Semi-Automatic Data-Type Translation for Parallelism in Erlang within the Erlang-track
Share
xFri 23 May 02:54
using conf.researchr.org (v1.69.0)
Support page
Sign Up