Proceedings of the Federated Conference on Computer Science and Information Systems pp. 879–886 ISBN 978-83-60810-22-4 A Type and Effect System for Implementing Functional Arrays with Destructive Updates

Cached

Download Links

by Georgios Korfiatis , Michalis Papakyriakou , Nikolaos Papaspyrou