Title: A strongly typed applicative language for multiprocessor systems (AMPLE)