Interpreting Localized Computational Effects Using Operators of Higher Type

DOI10.1007/978-3-540-69407-6_42zbMath1142.03360OpenAlexW2171429140MaRDI QIDQ3507453

John Longley

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

Mathematics Subject Classification ID

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