Title: The generation of concurrent code for declarative languages