Image de couverture de livre

Grokking the Sequent Calculus (Functional Pearl)

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Binder, David, Tzschentke, Marco, Müller, Marius, Ostermann, Klaus
Format:	Preprint
Publié:	2024
Sujets:	Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Deriving Dependently-Typed OOP from First Principles -- Extended Version with Additional Appendices
par: Binder, David, et autres
Publié: (2024)

The Vanilla Sequent Calculus is Call-by-Value (Fresh Perspective)
par: Accattoli, Beniamino
Publié: (2024)

Artifact of the paper 'Compiling Classical Sequent Calculus to Stock Hardware: The Duality of Compilation'
par: Schuster, Philipp, et autres
Publié: (2025)

Invertible Syntax without the Tuples (Functional Pearl)
par: Boespflug, Mathieu, et autres
Publié: (2025)

Destination Calculus: A Linear λ-Calculus for Purely Functional Memory Writes
par: Bagrel, Thomas, et autres
Publié: (2025)

Scheme Pearl: Quantum Continuations
par: Choudhury, Vikraman, et autres
Publié: (2024)

DeCo: A Core Calculus for Incremental Functional Programming with Generic Data Types
par: Böhler, Timon, et autres
Publié: (2026)

The Functional Machine Calculus III: Control
par: Heijltjes, Willem
Publié: (2025)

The Algebra of Patterns (Extended Version)
par: Binder, David, et autres
Publié: (2025)

A Usage-Aware Sequent Calculus for Differential Dynamic Logic
par: Dotzel, Myra, et autres
Publié: (2023)

Functional Array Programming in an Extended Pi-Calculus
par: Hüttel, Hans, et autres
Publié: (2024)

Pearl: Automatic Code Optimization Using Deep Reinforcement Learning
par: Lamouri, Djamel Rassem, et autres
Publié: (2025)

Opportunistically Parallel Lambda Calculus
par: Mell, Stephen, et autres
Publié: (2024)

A Calculus for Unreachable Code
par: Zhong, Peter, et autres
Publié: (2024)

Filling the Gaps of Polarity: Implementing Dependent Data and Codata Types with Implicit Arguments
par: Liesnikov, Bohdan, et autres
Publié: (2025)

Bottom-up computation using trees of sublists (Functional Pearl)
par: Mu, Shin-Cheng
Publié: (2023)

$φ$-Calculus: Object-Oriented Formalism
par: Bugayenko, Yegor, et autres
Publié: (2021)

A Gradual Probabilistic Lambda Calculus
par: Ye, Wenjia, et autres
Publié: (2026)

A Calculus for Scoped Effects & Handlers
par: Bosman, Roger, et autres
Publié: (2023)

Corps: A Core Calculus of Hierarchical Choreographic Programming
par: Hirsch, Andrew K.
Publié: (2024)

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

Haskelite: A Tracing Interpreter Based on a Pattern-Matching Calculus
par: Vasconcelos, Pedro, et autres
Publié: (2024)

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

A Diagrammatic Calculus for a Functional Model of Natural Language Semantics
par: Boyer, Matthieu Pierre
Publié: (2025)

JEDI: Java Evaluation of Declarative and Imperative Queries
par: Schiavio, Filippo, et autres
Publié: (2026)

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

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

Verification Algorithms for Automated Separation Logic Verifiers
par: Eilers, Marco, et autres
Publié: (2024)

On Decidable and Undecidable Extensions of Simply Typed Lambda Calculus
par: Kobayashi, Naoki
Publié: (2024)

A Core Calculus for Type-safe Product Lines of C Programs
par: Damiani, Ferruccio, et autres
Publié: (2026)

Misleading Microbenchmarks on the Java Virtual Machines
par: Schiavio, Filippo, et autres
Publié: (2026)

Provability in BI's Sequent Calculus is Decidable
par: Gheorghiu, Alexander, et autres
Publié: (2021)

Reasonable Space for the $λ$-Calculus, Logarithmically
par: Accattoli, Beniamino, et autres
Publié: (2022)

Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference
par: Bhanuka, Ishan, et autres
Publié: (2024)

Homomorphism Calculus for User-Defined Aggregations
par: Wang, Ziteng, et autres
Publié: (2025)

$λ_A$: A Typed Lambda Calculus for LLM Agent Composition
par: Liu, Qin
Publié: (2026)

The Lambda Calculus is Quantifiable
par: Maestracci, Valentin, et autres
Publié: (2024)

The LLMbda Calculus: AI Agents, Conversations, and Information Flow
par: Garby, Zac, et autres
Publié: (2026)

Verifying Functional Correctness Properties At the Level of Java Bytecode
par: Paganoni, Marco, et autres
Publié: (2024)

A Calculus of Inheritance
par: Yang, Bo
Publié: (2026)