Interpreting Localized Computational Effects Using Operators of Higher Type
From MaRDI portal
Publication:3507453
DOI10.1007/978-3-540-69407-6_42zbMath1142.03360OpenAlexW2171429140MaRDI QIDQ3507453
Publication date: 19 June 2008
Published in: Logic and Theory of Algorithms (Search for Journal in Brave)
Full work available at URL: https://www.pure.ed.ac.uk/ws/files/17860987/Longley_2008_Interpreting_Localized_Computational_Effects_using_Operators_of_Higher_Type.pdf
Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Higher-type and set recursion theory (03D65)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Notions of computation and monads
- Sequential algorithms on concrete data structures
- LCF considered as a programming language
- Full abstraction for idealized Algol with passive expressions
- Algebraic operations and generic effects
- Comparing hierarchies of types in models of linear logic
- Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
- Free-algebra models for the \(\pi \)-calculus
- On a monadic semantics for freshness
- Monadic encapsulation of effects: a revised approach (extended version)
- Not Enough Points Is Enough
- A category-theoretic account of program modules
- Foundations of Software Science and Computation Structures
- On the ubiquity of certain total type structures
- On the symmetry of sequentiality
