:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteur principal:	Drab, Tomasz
Format:	Preprint
Publié:	2024
Sujets:	Programming Languages
Accès en ligne:	https://arxiv.org/abs/2405.12586
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

A Simple and Efficient Implementation of Strong Call by Need by an Abstract Machine
par: Biernacka, Małgorzata, et autres
Publié: (2026)

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

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

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

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

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

Intersection Types for a Computational Lambda-Calculus with Global State
par: de'Liguoro, Ugo, et autres
Publié: (2021)

Bidirectional Interpolation for the Lambda-Calculus -- Revisiting and Formalising Craig-Čubrić Interpolation
par: Bertrand, Meven Lennon, et autres
Publié: (2026)

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

Lambdas at the Far Edge: a Tale of Flying Lambdas and Lambdas on Wheels
par: Audrito, Giorgio, et autres
Publié: (2026)

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

The Quantum Abstract Machine
par: Li, Liyi, et autres
Publié: (2024)

The Session Abstract Machine (Extended Version)
par: Caires, Luís, et autres
Publié: (2024)

Lax Modal Lambda Calculi
par: Valliappan, Nachiappan
Publié: (2025)

Extended Abstract: Mutable Objects with Several Implementations
par: Kaufmann, Matt, et autres
Publié: (2025)

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

Cost Analysis for Import and Export Using an Abstract Machine
par: Bennetzen, Benjamin, et autres
Publié: (2024)

Positive Sharing and Abstract Machines
par: Accattoli, Beniamino, et autres
Publié: (2025)

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

Implementing Binary Search Trees in GP 2 (Extended Abstract)
par: Alaoui, Ziad Ismaili, et autres
Publié: (2026)

Grokking the Sequent Calculus (Functional Pearl)
par: Binder, David, et autres
Publié: (2024)

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

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

Productive Quantum Programming Needs Better Abstract Machines
par: Núñez-Corrales, Santiago, et autres
Publié: (2025)

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

Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation
par: Gomber, Shaurya, et autres
Publié: (2025)

Beyond SICP -- Design and Implementation of a Notional Machine for Scheme
par: Abad, Kyriel, et autres
Publié: (2024)

The Relational Machine Calculus
par: Barrett, Chris, et autres
Publié: (2024)

Abstracting Denotational Interpreters
par: Graf, Sebastian, et autres
Publié: (2024)

Abstract Environment Trimming
par: Jurjo-Rivas, Daniel, et autres
Publié: (2024)

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

Abstracting Extensible Recursive Functions
par: Hubers, Alex, et autres
Publié: (2024)

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

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

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

Correctness Witness Validation by Abstract Interpretation
par: Saan, Simmo, et autres
Publié: (2023)

On Representability of Multiple-Valued Functions by Linear Lambda Terms Typed with Second-order Polymorphic Type System
par: Matsuoka, Satoshi
Publié: (2026)

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

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

Synthesizing Abstract Transformers for Reduced-Product Domains
par: Kalita, Pankaj Kumar, et autres
Publié: (2024)