An abstract monadic semantics for value recursion (2003)

by Eugenio Moggi , Amr Sabry
Venue:In Proceeding of the 2003 Workshop on Fixed Points in Computer Science (FICS
Citations:18 - 7 self