A semantics for locally bottom-avoiding choice (1992)

by J Hughes, A Moran
Venue:Proceedings of the Glasogow Functional Programming Workshop'92, WICS