Parametric effect monads and semantics of effect systems
From MaRDI portal
Publication:5408455
DOI10.1145/2535838.2535846zbMath1284.68133MaRDI QIDQ5408455
Publication date: 10 April 2014
Published in: Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Search for Journal in Brave)
Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Categorical semantics of formal languages (18C50) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Combinatory logic and lambda calculus (03B40)
Related Items
Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics ⋮ Counting Successes: Effects and Transformations for Non-deterministic Programs ⋮ Comprehending Ringads ⋮ When programs have to watch paint dry ⋮ Compositional Game Theory, Compositionally ⋮ From semantics to types: the case of the imperative \(\lambda\)-calculus ⋮ Flexibly graded monads and graded algebras ⋮ A type system with subtyping for WebAssembly's stack polymorphism ⋮ Divergences on monads for relational program logics ⋮ Canonical Gradings of Monads ⋮ Algebraic effects for extensible dynamic semantics ⋮ Graded algebraic theories ⋮ Fault-tolerant functional reactive programming (extended version) ⋮ No value restriction is needed for algebraic effects and handlers ⋮ Unnamed Item ⋮ A general semantic construction of dependent refinement type systems, categorically ⋮ Graded Hoare logic and its categorical semantics ⋮ Graded modal dependent type theory ⋮ Approximate relational Hoare logic for continuous random samplings ⋮ Towards a Formal Theory of Graded Monads ⋮ Resourceful program synthesis from graded linear types
