Buchumschlag

A Monadic Implementation of Functional Logic Programs

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Hanus, Michael, Prott, Kai-Oliver, Teegen, Finn
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Functional Logic Program Transformations
von: Hanus, Michael, et al.
Veröffentlicht: (2026)

Inferring Non-Failure Conditions for Declarative Programs
von: Hanus, Michael
Veröffentlicht: (2024)

Monadic type-and-effect soundness
von: Dagnino, Francesco, et al.
Veröffentlicht: (2025)

On Circuit Description Languages, Indexed Monads, and Resource Analysis
von: Sakayori, Ken, et al.
Veröffentlicht: (2025)

From Program Logics to Language Logics
von: Cimini, Matteo
Veröffentlicht: (2024)

Notions of Stack-manipulating Computation and Relative Monads (Extended Version)
von: Jiang, Yuchen, et al.
Veröffentlicht: (2025)

Handling Higher-Order Effectful Operations with Judgemental Monadic Laws
von: Yang, Zhixuan, et al.
Veröffentlicht: (2025)

Stone Duality for Monads
von: Garner, Richard, et al.
Veröffentlicht: (2026)

Formalization and Implementation of Safe Destination Passing in Pure Functional Programming Settings
von: Bagrel, Thomas
Veröffentlicht: (2026)

Handling the Selection Monad (Full Version)
von: Plotkin, Gordon, et al.
Veröffentlicht: (2025)

Finite Functional Programming
von: Arntzenius, Michael, et al.
Veröffentlicht: (2026)

Smart Choices and the Selection Monad
von: Abadi, Martin, et al.
Veröffentlicht: (2020)

Finite-Choice Logic Programming
von: Martens, Chris, et al.
Veröffentlicht: (2024)

Monadic Intersection Types, Relationally (Extended Version)
von: Gavazzo, Francesco, et al.
Veröffentlicht: (2024)

Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning (Extended Version)
von: Flanagan, Cormac, et al.
Veröffentlicht: (2024)

Cerisier: A Program Logic for Attestation in a Capability Machine
von: Rousseau, June, et al.
Veröffentlicht: (2026)

All for One and One for All: Program Logics for Exploiting Internal Determinism in Parallel Programs
von: Moine, Alexandre, et al.
Veröffentlicht: (2025)

Programming with High-Level Abstractions, Proceedings of the 3rd Workshop on Logic and Practice of Programming
von: Warren, David S., et al.
Veröffentlicht: (2024)

Modeling Reachability Types with Logical Relations
von: Bao, Yuyan, et al.
Veröffentlicht: (2023)

Explaining Explanations in Probabilistic Logic Programming
von: Vidal, Germán
Veröffentlicht: (2024)

Strong Dinatural Transformations and Generalised Codensity Monads
von: Piróg, Maciej, et al.
Veröffentlicht: (2025)

Logic Programming with Extensible Types
von: Perez, Ivan, et al.
Veröffentlicht: (2026)

Multi-paradigm Logic Programming in the ${\cal E}$rgoAI System
von: Kifer, Michael, et al.
Veröffentlicht: (2026)

Outcome Logic: A Unified Approach to the Metatheory of Program Logics with Branching Effects
von: Zilberstein, Noam
Veröffentlicht: (2024)

A Program Logic for Abstract (Hyper)Properties
von: Baldan, Paolo, et al.
Veröffentlicht: (2026)

Fixed-Point-Oriented Programming: A Concise and Elegant Paradigm
von: Foo, Yong Qi, et al.
Veröffentlicht: (2025)

Functional Array Programming in an Extended Pi-Calculus
von: Hüttel, Hans, et al.
Veröffentlicht: (2024)

The Relative Monadic Metalanguage
von: Liell-Cock, Jack, et al.
Veröffentlicht: (2025)

Automating Unrealizability Logic: Hoare-Style Proof Synthesis for Infinite Sets of Programs
von: Nagy, Shaan, et al.
Veröffentlicht: (2024)

Staged Specification Logic for Verifying Higher-Order Imperative Programs (Technical Report)
von: Foo, Darius, et al.
Veröffentlicht: (2023)

Reactive Programming without Functions
von: Oeyen, Bjarno, et al.
Veröffentlicht: (2024)

Debugging Functional Programs by Interpretation
von: Whitington, John
Veröffentlicht: (2024)

Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI
von: Shapiro, Ehud
Veröffentlicht: (2026)

Functional Programming in Learning Electromagnetic Theory
von: Walck, Scott N.
Veröffentlicht: (2024)

FO-Complete Program Verification for Heap Logics
von: Murali, Adithya, et al.
Veröffentlicht: (2026)

Structural Temporal Logic for Mechanized Program Verification
von: Ioannidis, Eleftherios, et al.
Veröffentlicht: (2024)

Functional Reactive Programming with Effects, A More Permissive Approach
von: Dabrowski, Frédéric, et al.
Veröffentlicht: (2025)

QCP: A Practical Separation Logic-based C Program Verification Tool
von: Wu, Xiwei, et al.
Veröffentlicht: (2025)

Heterogeneous Dynamic Logic: Provability Modulo Program Theories
von: Teuber, Samuel, et al.
Veröffentlicht: (2025)

A Program Logic for Under-approximating Worst-case Resource Usage
von: Jin, Ziyue, et al.
Veröffentlicht: (2025)