When programs have to watch paint dry

DOI10.1007/978-3-031-30829-1_1arXiv2210.07738MaRDI QIDQ6070787

Danel Ahman

Publication date: 24 November 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2210.07738

zbMATH Keywords

algebraic effectseffect handlersmodal typesgraded monadstemporal resources

Mathematics Subject Classification ID

Theory of computing (68Qxx) Theory of software (68Nxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A list of successes that can change the world. Essays dedicated to Philip Wadler on the occasion of his 60th birthday
• Abstract categorical semantics for resourceful functional reactive programming
• Programming with algebraic effects and handlers
• Linear logic
• Sheaves in geometry and logic: a first introduction to topos theory
• Modelling environments in call-by-value programming languages.
• On an intuitionistic modal logic
• Fitch-style modal lambda calculi
• Algebraic operations and generic effects
• Graded modal dependent type theory
• Graded monads and rings of polynomials
• Combining effects: sum and tensor
• Strong functors and monoidal monads
• Guarded Dependent Type Theory with Coinductive Types
• Towards a Formal Theory of Graded Monads
• Coeffects
• Handling Algebraic Effects
• Propositions as sessions
• Combining effects and coeffects via grading
• Towards a Common Categorical Semantics for Linear-Time Temporal Logic and Functional Reactive Programming
• Hoare type theory, polymorphism and separation
• Iris from the ground up: A modular foundation for higher-order concurrent separation logic
• Connected limits, familial representability and Artin glueing
• Runners in Action
• Modalities and Parametric Adjoints
• Doo bee doo bee doo
• Syntax and Semantics of Quantitative Type Theory
• Modal dependent type theory and dependent right adjoints
• Higher-order functional reactive programming without spacetime leaks
• Coeffects: Unified Static Analysis of Context-Dependence
• Fair reactive programming
• Parametric effect monads and semantics of effect systems
• Bounded Linear Types in a Resource Semiring
• A Core Quantitative Coeffect Calculus
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Flexibly graded monads and graded algebras