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