Modelling environments in call-by-value programming languages
Authors:
- PaulBlain LevyPLPaulBlain Levy
- John PowerJPJohn Power
- Hayo ThieleckeHTHayo Thielecke
Top Cited Papers
- 1 September 2003
- journal article
- Published by Elsevier in Information and Computation
- Vol. 185 (2) , 182-210
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Variations on Algebra: Monadicity and Generalisations of Equational TheroriesFormal Aspects of Computing, 2002
- Premonoidal categories as categories with algebraic structureTheoretical Computer Science, 2002
- Categories for computation in context and unified logicJournal of Pure and Applied Algebra, 1997
- Premonoidal categories and notions of computationMathematical Structures in Computer Science, 1997
- Adjunctions whose counits are coequalizers, and presentations of finitary enriched monadsJournal of Pure and Applied Algebra, 1993
- Notions of computation and monadsInformation and Computation, 1991
- Two-dimensional monad theoryJournal of Pure and Applied Algebra, 1989
- Categories of partial mapsInformation and Computation, 1988