Encoding fix in object calculi
Roy L. Crole (2000)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Roy L. Crole (2000)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Jaroslav Peregrin (1990)
Kybernetika
Similarity:
Eugenio Moggi, Amr Sabry (2004)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
This paper proposes an operational semantics for value recursion in the context of monadic metalanguages. Our technique for combining value recursion with computational effects works uniformly for all monads. The operational nature of our approach is related to the implementation of recursion in Scheme and its monadic version proposed by Friedman and Sabry, but it defines a different semantics and does not rely on assignments. When contrasted to the axiomatic approach proposed by Erkök...
Levent Erkök, John Launchbury, Andrew Moran (2002)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Monads have been employed in programming languages for modeling various language features, most importantly those that involve side effects. In particular, Haskell’s IO monad provides access to I/O operations and mutable variables, without compromising referential transparency. Cyclic definitions that involve monadic computations give rise to the concept of value-recursion, where the fixed-point computation takes place only over the values, without repeating or losing effects. In this...
Cockett, J.R.B., Seely, R.A.G. (2001)
Theory and Applications of Categories [electronic only]
Similarity:
Taylor, Paul (2002)
Theory and Applications of Categories [electronic only]
Similarity:
R. P. Nederpelt (1977)
Zbornik Radova
Similarity:
B. Hilken, D. E. Rydeheard (1991)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity: