Compiling first-order functions to session-typed parallel code.

David Castro-Perez Nobuko Yoshida

Published in: CC (2020)

Keyphrases

higher order
parallel implementation
distributed memory
database
data sets
program understanding