Semantics of fixIO (2001)

by L Erkök, J Launchbury, A Moran
Venue:In Fixed Points in Computer Science Workshop, FICS’01