Denotational semantics of a para-functional programming language (1986)

by P Hudak
Venue:International Journal of Parallel Programming