Email (@st-andrews.ac.uk): dc84
JC0.21 - Jack Cole Building, North Haugh
+44 (0)1334 46 3257
Home page: https://dc84.host.cs.st-andrews.ac.uk
Barwell, AD, Brown, CM
, Castro, D & Hammond, K
2016, Towards semi-automatic data-type translation for parallelism in Erlang
. in Proceedings of the 15th International Workshop on Erlang.
ACM, New York, pp. 60-61, 15th ACM SIGPLAN Workshop on Erlang, Nara, Japan, 23-23 September. DOI: 10.1145/2975969.2975978
Castro, D, Hammond, K & Sarkar, S
2016, Farms, pipes, streams and reforestation: reasoning about structured parallel processes using types and hylomorphisms
. in Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming.
ACM, New York, pp. 4-17, ICFP 2016 - 21st ACM SIGPLAN International Conference on Functional Programming, Nara, Japan, 18-24 September. DOI: 10.1145/2951913.2951920