An operational semantics for a parallel functional language with continuations (1992)

by Luc Moreau
Venue:PARLE '92 -- Parallel Architectures and Languages Europe