Toggle navigation
Sign in
Sign up
conf.researchr.org
/
David Castro-Perez
conf.researchr.org general profile
CC 2020 profile
ICFP 2016 profile
POPL 2019 profile
SPLASH 2020 profile
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
x
Thu 21 Nov 11:55