Copertina

A Calculus for Scoped Effects & Handlers

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Bosman, Roger, Berg, Birthe van den, Tang, Wenhao, Schrijvers, Tom
Natura:	Preprint
Pubblicazione:	2023
Soggetti:	Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

From High to Low: Simulating Nondeterminism and State with State
di: Tang, Wenhao, et al.
Pubblicazione: (2023)

Let a Thousand Flowers Bloom: An Algebraic Representation for Edge Graphs
di: Liell-Cock, Jack, et al.
Pubblicazione: (2024)

Effect Handlers for Programmable Inference
di: Nguyen, Minh, et al.
Pubblicazione: (2023)

Programming Backpropagation with Reverse Handlers for Arrows
di: Sanada, Takahiro, et al.
Pubblicazione: (2026)

Evaluate the Stack Management in Effect Handlers using the libseff C Library
di: Yu, ZeHao
Pubblicazione: (2025)

Reachability is Decidable for ATM-Typable Finitary PCF with Effect Handlers
di: Endo, Ryunosuke, et al.
Pubblicazione: (2025)

Rows and Capabilities as Modal Effects
di: Tang, Wenhao, et al.
Pubblicazione: (2025)

Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library
di: de Vilhena, Paulo Emílio, et al.
Pubblicazione: (2021)

Abstracting Effect Systems for Algebraic Effect Handlers
di: Yoshioka, Takuma, et al.
Pubblicazione: (2024)

Destination Calculus: A Linear λ-Calculus for Purely Functional Memory Writes
di: Bagrel, Thomas, et al.
Pubblicazione: (2025)

A Calculus for Unreachable Code
di: Zhong, Peter, et al.
Pubblicazione: (2024)

Towards Cumulative Abstract Semantics via Handlers
di: Lueker, Cade, et al.
Pubblicazione: (2025)

A Gradual Probabilistic Lambda Calculus
di: Ye, Wenjia, et al.
Pubblicazione: (2026)

Opportunistically Parallel Lambda Calculus
di: Mell, Stephen, et al.
Pubblicazione: (2024)

Modal Effect Types
di: Tang, Wenhao, et al.
Pubblicazione: (2024)

Grokking the Sequent Calculus (Functional Pearl)
di: Binder, David, et al.
Pubblicazione: (2024)

$φ$-Calculus: Object-Oriented Formalism
di: Bugayenko, Yegor, et al.
Pubblicazione: (2021)

Corps: A Core Calculus of Hierarchical Choreographic Programming
di: Hirsch, Andrew K.
Pubblicazione: (2024)

pyeb: A Python Implementation of Event-B Refinement Calculus
di: Cataño, Néstor
Pubblicazione: (2025)

Haskelite: A Tracing Interpreter Based on a Pattern-Matching Calculus
di: Vasconcelos, Pedro, et al.
Pubblicazione: (2024)

DeCo: A Core Calculus for Incremental Functional Programming with Generic Data Types
di: Böhler, Timon, et al.
Pubblicazione: (2026)

Homomorphism Calculus for User-Defined Aggregations
di: Wang, Ziteng, et al.
Pubblicazione: (2025)

$μλεδ$-Calculus: A Self Optimizing Language that Seems to Exhibit Paradoxical Transfinite Cognitive Capabilities
di: Salgado, Ronie
Pubblicazione: (2024)

Reduction Strategies in the Lambda Calculus and Their Implementation through Derivable Abstract Machines: Introduction
di: Drab, Tomasz
Pubblicazione: (2024)

Verified Parameterized Choreographies Technical Report
di: Rubbens, Robert, et al.
Pubblicazione: (2025)

Partial Orders for Precise and Efficient Dynamic Deadlock Prediction
di: Heuvel, Bas van den, et al.
Pubblicazione: (2025)

Soundly Handling Linearity
di: Tang, Wenhao, et al.
Pubblicazione: (2023)

The Functional Machine Calculus III: Control
di: Heijltjes, Willem
Pubblicazione: (2025)

A Core Calculus for Type-safe Product Lines of C Programs
di: Damiani, Ferruccio, et al.
Pubblicazione: (2026)

Type-Driven Prompt Programming: From Typed Interfaces to a Calculus of Constraints
di: Paul, Abhijit
Pubblicazione: (2025)

Handling Scope Checks (Extended Version)
di: Lee, Michael, et al.
Pubblicazione: (2026)

Functional Array Programming in an Extended Pi-Calculus
di: Hüttel, Hans, et al.
Pubblicazione: (2024)

HaliVer: Deductive Verification and Scheduling Languages Join Forces
di: Haak, Lars B. van den, et al.
Pubblicazione: (2024)

Scoped Effects as Parameterized Algebraic Theories
di: Matache, Cristina, et al.
Pubblicazione: (2024)

The Vanilla Sequent Calculus is Call-by-Value (Fresh Perspective)
di: Accattoli, Beniamino
Pubblicazione: (2024)

On Decidable and Undecidable Extensions of Simply Typed Lambda Calculus
di: Kobayashi, Naoki
Pubblicazione: (2024)

From Dynamic to Lexical: A Comparative Exploration of Scoping Rules in SAS and R
di: Ling, Chen, et al.
Pubblicazione: (2026)

$λ_A$: A Typed Lambda Calculus for LLM Agent Composition
di: Liu, Qin
Pubblicazione: (2026)

Reasonable Space for the $λ$-Calculus, Logarithmically
di: Accattoli, Beniamino, et al.
Pubblicazione: (2022)

Defining Name Accessibility using Scope Graphs (Extended Edition)
di: Zwaan, Aron, et al.
Pubblicazione: (2024)