RAIRO - Theoretical Informatics and Applications (RAIRO: ITA)

An abstract monadic semantics for value recursion

Eugenio Moggi and Amr Sabry

RAIRO-Theor. Inf. Appl., 38 4 (2004) 375-400

Published online: 15 October 2004

DOI: 10.1051/ita:2004018

Eugenio Moggi

Amr Sabry

Articles written by ALL the selected authors (AND)

Articles written by ANY OF the selected authors (OR)