Buchumschlag

DeCo: A Core Calculus for Incremental Functional Programming with Generic Data Types

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Böhler, Timon, Reinhard, Tobias, Richter, David, Mezini, Mira
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

A Direct-Style Effect Notation for Sequential and Parallel Programs
von: Richter, David, et al.
Veröffentlicht: (2023)

Compiling with Arrays
von: Richter, David, et al.
Veröffentlicht: (2024)

Distributed Locking as a Data Type
von: Haas, Julian, et al.
Veröffentlicht: (2024)

PRDTs: Composable Knowledge-Based Consensus Protocols with Replicated Data Types
von: Haas, Julian, et al.
Veröffentlicht: (2025)

LoRe: A Programming Model for Verifiably Safe Local-First Software
von: Haas, Julian, et al.
Veröffentlicht: (2023)

A Core Calculus for Type-safe Product Lines of C Programs
von: Damiani, Ferruccio, et al.
Veröffentlicht: (2026)

Beyond BLEU: A Semantic Evaluation Method for Code Translation
von: Näumann, Julius, et al.
Veröffentlicht: (2026)

Corps: A Core Calculus of Hierarchical Choreographic Programming
von: Hirsch, Andrew K.
Veröffentlicht: (2024)

Type-Driven Prompt Programming: From Typed Interfaces to a Calculus of Constraints
von: Paul, Abhijit
Veröffentlicht: (2025)

Grokking the Sequent Calculus (Functional Pearl)
von: Binder, David, et al.
Veröffentlicht: (2024)

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

Destination Calculus: A Linear λ-Calculus for Purely Functional Memory Writes
von: Bagrel, Thomas, et al.
Veröffentlicht: (2025)

Incremental Bidirectional Typing via Order Maintenance
von: Porter, Thomas J., et al.
Veröffentlicht: (2025)

Incremental Live Programming via Shortcut Memoization
von: Kirisame, Marisa, et al.
Veröffentlicht: (2026)

The Functional Machine Calculus III: Control
von: Heijltjes, Willem
Veröffentlicht: (2025)

On Decidable and Undecidable Extensions of Simply Typed Lambda Calculus
von: Kobayashi, Naoki
Veröffentlicht: (2024)

An Incremental Algorithm for Algebraic Program Analysis
von: Zhou, Chenyu, et al.
Veröffentlicht: (2024)

A Calculus for Unreachable Code
von: Zhong, Peter, et al.
Veröffentlicht: (2024)

A Gradual Probabilistic Lambda Calculus
von: Ye, Wenjia, et al.
Veröffentlicht: (2026)

A Calculus for Scoped Effects & Handlers
von: Bosman, Roger, et al.
Veröffentlicht: (2023)

$λ_A$: A Typed Lambda Calculus for LLM Agent Composition
von: Liu, Qin
Veröffentlicht: (2026)

On Propositional Program Equivalence (extended abstract)
von: Kappé, Tobias
Veröffentlicht: (2025)

Opportunistically Parallel Lambda Calculus
von: Mell, Stephen, et al.
Veröffentlicht: (2024)

Synchronous Programming with Refinement Types
von: Chen, Jiawei, et al.
Veröffentlicht: (2024)

$φ$-Calculus: Object-Oriented Formalism
von: Bugayenko, Yegor, et al.
Veröffentlicht: (2021)

Abstraction Functions as Types
von: Grodin, Harrison, et al.
Veröffentlicht: (2025)

Designing Walrus: Relational Programming with Rich Types, On-Demand Laziness, and Structured Traces
von: Cuéllar, Santiago, et al.
Veröffentlicht: (2025)

pyeb: A Python Implementation of Event-B Refinement Calculus
von: Cataño, Néstor
Veröffentlicht: (2025)

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

Typing Fallback Functions: A Semantic Approach to Type Safe Smart Contracts
von: Lybech, Stian, et al.
Veröffentlicht: (2025)

CoreDPPL: Towards a Sound Composition of Differentiation, ODE Solving, and Probabilistic Programming
von: Eriksson, Oscar, et al.
Veröffentlicht: (2025)

From Traces to Program Incorrectness: A Type-Theoretic Approach
von: Yuan, Yongwei, et al.
Veröffentlicht: (2025)

Mason: Type- and Name-Guided Program Synthesis
von: Geer, Jasper, et al.
Veröffentlicht: (2026)

Dependent Session Types for Verified Concurrent Programming
von: Fu, Qiancheng, et al.
Veröffentlicht: (2025)

Haskelite: A Tracing Interpreter Based on a Pattern-Matching Calculus
von: Vasconcelos, Pedro, et al.
Veröffentlicht: (2024)

A Monadic Implementation of Functional Logic Programs
von: Hanus, Michael, et al.
Veröffentlicht: (2026)

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

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

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

Special Delivery: Programming with Mailbox Types (Extended Version)
von: Fowler, Simon, et al.
Veröffentlicht: (2023)