RAIRO - Theoretical Informatics and Applications (RAIRO: ITA)

Semantics of value recursion for Monadic Input/Output

Levent Erkök, John Launchbury and Andrew Moran

RAIRO-Theor. Inf. Appl., 36 2 (2002) 155-180

Published online: 15 December 2002

DOI: 10.1051/ita:2002008

Levent Erkök

John Launchbury

Andrew Moran

Articles written by ALL the selected authors (AND)

Articles written by ANY OF the selected authors (OR)