A sized time system for a parallel functional language (1996)

by H-W Loidl, K Hammond
Venue:In Proceedings of the Glasgow Workshop on Functional Programming, Ullapool