Semantics of value recursion for monadic input/output (2002)

Cached

Download Links

by Levent Erkök , John Launchbury , Andrew Moran
Venue:Journal of Theoretical Informatics and Applications
Citations:7 - 1 self

Document Versions

Semantics of value recursion for monadic input/output –Levent Erkök, John Launchbury, Andrew Moran — 2002 — Journal of Theoretical Informatics and Applications