Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics

Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics

Type-and-effect systems incorporate information about the computational effects, e.g., state mutation, probabilistic choice, or I/O, a program phrase may invoke alongside its return value. A semantics for type-and-effect systems involves a parameterised family of monads whose size is exponential in...

पूर्ण विवरण

ग्रंथसूची विवरण
मुख्य लेखकों:	Kammar, O, McDermott, D
स्वरूप:	Journal article
प्रकाशित:	Elsevier 2018

समान संसाधन

Lax orthogonal factorisations in monad-quantale-enriched categories
द्वारा: Maria Manuel Clementino, और अन्य
प्रकाशित: (2017-09-01)

Codensity Lifting of Monads and its Dual
द्वारा: Shin-ya Katsumata, और अन्य
प्रकाशित: (2018-10-01)

A monad for full ground reference cells
द्वारा: Kammar, O, और अन्य
प्रकाशित: (2017)

Maps I: relative to a factorisation system
द्वारा: Pavlovic, D
प्रकाशित: (1995)

On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control
द्वारा: Forster, Y, और अन्य
प्रकाशित: (2017)

Factorisation in relational databases
द्वारा: Zavodny, J
प्रकाशित: (2014)

On the Parameterised Intractability of Monadic Second−Order Logic
द्वारा: Kreutzer, S
प्रकाशित: (2009)

On the Parameterized Intractability of Monadic Second-Order Logic
द्वारा: Stephan Kreutzer
प्रकाशित: (2012-03-01)

Weighted Automata and Monadic Second Order Logic
द्वारा: Nadia Labai, और अन्य
प्रकाशित: (2013-07-01)

Completely iterative monads in semantics of coinductive programs
द्वारा: Pirog, M
प्रकाशित: (2014)

Formal models of communicating systems : languages, automata, and monadic second-order logic /
द्वारा: 428469 Bollig, Benedikt
प्रकाशित: (2006)

Relative Monads Formalised
द्वारा: Thorsten Altenkirch, और अन्य
प्रकाशित: (2014-07-01)

On the decidability of monadic second-order logic with arithmetic predicates
द्वारा: Berthé, V, और अन्य
प्रकाशित: (2024)

Weak Cost Monadic Logic over Infinite Trees
द्वारा: Boom, M
प्रकाशित: (2011)

Decidability of a monadic subclass of modal logic S4
द्वारा: Stanislovas Norgėla
प्रकाशित: (2002-12-01)

Monadic Second Order Logic with Measure and Category Quantifiers
द्वारा: Matteo Mio, और अन्य
प्रकाशित: (2018-04-01)

On the decidability of monadic first order logic in sequent calculus
द्वारा: Jean-Baptiste Joinet
प्रकाशित: (2016-12-01)

The quantum monad on relational structures
द्वारा: Abramsky, S, और अन्य
प्रकाशित: (2017)

Modules over monads and operational semantics (expanded version)
द्वारा: André Hirschowitz, और अन्य
प्रकाशित: (2022-08-01)

Monadic decomposabily of regular relations
द्वारा: Barceló, P, और अन्य
प्रकाशित: (2019)

Fuzzy Type Relations and Transformation Operators Defined by Monads
द्वारा: Jiří Močkoř
प्रकाशित: (2020-10-01)

A Syntactic Proof of the Decidability of First-Order Monadic Logic
द्वारा: Eugenio Orlandelli, और अन्य
प्रकाशित: (2024-02-01)

Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics
द्वारा: Cristina Feier, और अन्य
प्रकाशित: (2019-05-01)

Logical factorisation machines: probabilistic boolean factor models for binary data
द्वारा: Rukat, T
प्रकाशित: (2018)

Corecursive Algebras, Corecursive Monads and Bloom Monads
द्वारा: Jiří Adámek, और अन्य
प्रकाशित: (2014-09-01)

Feasibility of Vector Instruction-Set Semantics Using Abstract Monads
द्वारा: De Belen, Arthur Reiner
प्रकाशित: (2024)

Monadic Effect Algebras
द्वारा: Yuxi Zou, और अन्य
प्रकाशित: (2022-01-01)

On Factorisation of Provenance Polynomials
द्वारा: Olteanu, D, और अन्य
प्रकाशित: (2011)

Expressing Cardinality Quantifiers in Monadic Second−Order Logic over Trees
द्वारा: Barany, V, और अन्य
प्रकाशित: (2010)

Complete Axiomatizations of Fragments of Monadic Second-Order Logic on Finite Trees
द्वारा: Amélie Gheerbrant, और अन्य
प्रकाशित: (2012-10-01)

The monadic second-order logic of graphs XVI : Canonical graph decompositions
द्वारा: Bruno Courcelle
प्रकाशित: (2006-03-01)

Reasoning about Social Choice and Games in Monadic Fixed-Point Logic
द्वारा: Ramit Das, और अन्य
प्रकाशित: (2019-07-01)

Flexible Instruction-Set Semantics via Abstract Monads (Experience Report)
द्वारा: Bourgeat, Thomas, और अन्य
प्रकाशित: (2023)

Formaldehyde—A Key Monad of the Biomolecular System
द्वारा: Bodo Lachmann, और अन्य
प्रकाशित: (2013-08-01)

Of Tactics and Monads
द्वारा: Martin, A
प्रकाशित: (1996)

Monads for behaviour
द्वारा: Piróg, M, और अन्य
प्रकाशित: (2013)

Monads for behaviour
द्वारा: Piróg, M, और अन्य
प्रकाशित: (2013)

Entangled State Monads
द्वारा: Cheney, J, और अन्य
प्रकाशित: (2014)

Reflections on monadic lenses
द्वारा: Abou-Saleh, F, और अन्य
प्रकाशित: (2016)

Boundaries, Vermas and factorisation
द्वारा: Mathew Bullimore, और अन्य
प्रकाशित: (2021-04-01)