Semantics of value recursion for Monadic Input/Output
Erkök, Levent, Launchbury, John, Moran, AndrewVolume:
36
Language:
english
Journal:
RAIRO - Theoretical Informatics and Applications
DOI:
10.1051/ita:2002008
Date:
April, 2002
File:
PDF, 200 KB
english, 2002