Non-determinism Analysis in a Parallel-Functional Language.- Exploiting Implicit Parallelism in F...

Sized Types for Typing Eden Skeletons.- A Compilation Scheme for a Hierarchy of Array Types.- Opt...