Cover Image

Monadic type-and-effect soundness

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Dagnino, Francesco, Giannini, Paola, Zucca, Elena
Format:	Preprint
Published:	2025
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

An effectful object calculus
by: Dagnino, Francesco, et al.
Published: (2025)

Don't exhaust, don't waste
by: Bianchini, Riccardo, et al.
Published: (2025)

Fair Termination for Resource-Aware Active Objects
by: Dagnino, Francesco, et al.
Published: (2025)

Monadic Intersection Types, Relationally (Extended Version)
by: Gavazzo, Francesco, et al.
Published: (2024)

A Monadic Implementation of Functional Logic Programs
by: Hanus, Michael, et al.
Published: (2026)

On Circuit Description Languages, Indexed Monads, and Resource Analysis
by: Sakayori, Ken, et al.
Published: (2025)

Notions of Stack-manipulating Computation and Relative Monads (Extended Version)
by: Jiang, Yuchen, et al.
Published: (2025)

Handling Higher-Order Effectful Operations with Judgemental Monadic Laws
by: Yang, Zhixuan, et al.
Published: (2025)

Stone Duality for Monads
by: Garner, Richard, et al.
Published: (2026)

Handling the Selection Monad (Full Version)
by: Plotkin, Gordon, et al.
Published: (2025)

Smart Choices and the Selection Monad
by: Abadi, Martin, et al.
Published: (2020)

A Type System for Data Privacy Compliance in Active Object Languages
by: Baramashetru, Chinmayi Prabhu, et al.
Published: (2025)

Strong Dinatural Transformations and Generalised Codensity Monads
by: Piróg, Maciej, et al.
Published: (2025)

The Relative Monadic Metalanguage
by: Liell-Cock, Jack, et al.
Published: (2025)

Robust Topology and the Hausdorff-Smyth Monad on Metric Spaces over Continuous Quantales
by: Dagnino, Francesco, et al.
Published: (2025)

Monadic Context Engineering
by: Zhang, Yifan, et al.
Published: (2025)

Programming with union, intersection, and negation types
by: Castagna, Giuseppe
Published: (2021)

Denotational reasoning for asynchronous multiparty session types
by: McDermott, Dylan, et al.
Published: (2026)

Probabilistic energy profiler for statically typed JVM-based programming languages
by: Nyholm, Joel, et al.
Published: (2025)

Omnidirectional type inference for ML: principality any way
by: O'Brien, Alistair, et al.
Published: (2025)

Efficient compilation and execution of synchronous programs via type-state programming
by: Malik, Avinash
Published: (2025)

typedKanren: Statically Typed Relational Programming with Exhaustive Matching in Haskell
by: Kudasov, Nikolai, et al.
Published: (2024)

A type system for data flow and alias analysis in ReScript
by: Lund, Nicky Ask, et al.
Published: (2024)

Qutes: A High-Level Quantum Programming Language for Simplified Quantum Computing
by: Faro, Simone, et al.
Published: (2025)

Polyregular equivalence is undecidable in higher-order types
by: Bojańczyk, Mikołaj, et al.
Published: (2026)

Simplifying explicit subtyping coercions in a polymorphic calculus with effects
by: Koprivec, Filip, et al.
Published: (2024)

Monads, Comonads, and Transducers
by: Stefański, Rafał
Published: (2024)

LoRe: A Programming Model for Verifiably Safe Local-First Software
by: Haas, Julian, et al.
Published: (2023)

Monads and limits in bicategories of circuits
by: Loregian, Fosco
Published: (2025)

Multi types and reasonable space
by: Accattoli, Beniamino, et al.
Published: (2022)

Modular probabilistic programming with algebraic effects (MSc Thesis 2019)
by: Goldstein, Oliver, et al.
Published: (2024)

Reversible Lifetime Semantics for Quantum Programs
by: Faro, Simone, et al.
Published: (2026)

A formalization of System I with type Top in Agda
by: Séttimo, Agustín, et al.
Published: (2026)

Simply typed convertibility is TOWER-complete even for safe lambda-terms
by: Nguyên, Lê Thành Dũng
Published: (2023)

Checkpoint-based rollback recovery in session programming
by: Mezzina, Claudio Antares, et al.
Published: (2023)

Dr Wenowdis: Specializing dynamic language C extensions using type information
by: Bernstein, Maxwell, et al.
Published: (2024)

Amortizing Pragmatic Program Synthesis with Rankings
by: Pu, Yewen, et al.
Published: (2024)

A Program Logic for Abstract (Hyper)Properties
by: Baldan, Paolo, et al.
Published: (2026)

Frex: dependently-typed algebraic simplification
by: Allais, Guillaume, et al.
Published: (2023)

Lambdas at the Far Edge: a Tale of Flying Lambdas and Lambdas on Wheels
by: Audrito, Giorgio, et al.
Published: (2026)