A Type and Effect System for Implementing Functional Arrays with Destructive Updates.

Georgios Korfiatis, Michalis A. Papakyriakou, Nikolaos Papaspyrou

Browse the full FedCSIS paper archive.