Image de couverture de livre

A Gradual Probabilistic Lambda Calculus

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Ye, Wenjia, Toro, Matías, Olmedo, Federico
Format:	Preprint
Publié:	2026
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

Gradual Sensitivity Typing
par: Arquez, Damian, et autres
Publié: (2023)

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

Compiling Gradual Types with Evidence
par: Romero, José Luis, et autres
Publié: (2025)

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)

Reduction Strategies in the Lambda Calculus and Their Implementation through Derivable Abstract Machines: Introduction
par: Drab, Tomasz
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)

Gradual Metaprogramming
par: Chen, Tianyu, et autres
Publié: (2025)

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

Increasing the Expressiveness of a Gradual Verifier
par: Gupta, Priyam
Publié: (2025)

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

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

Gradual Exact Logic: Unifying Hoare Logic and Incorrectness Logic via Gradual Verification
par: Zimmerman, Conrad, et autres
Publié: (2024)

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

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

Efficient Selection of Type Annotations for Performance Improvement in Gradual Typing
par: Li, Senxi, et autres
Publié: (2026)

Expanding Specification Capabilities of a Gradual Verifier with Pure Functions
par: Mutlu, Doruk Alp
Publié: (2025)

Taming Scope Extrusion in Gradual Imperative Metaprogramming
par: Chen, Tianyu, 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)

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

Denotational Semantics of Gradual Typing using Synthetic Guarded Domain Theory (Extended Version)
par: Giovannini, Eric, et autres
Publié: (2024)

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

Gradual Verification for Smart Contracts
par: Sun, Haojia, et autres
Publié: (2023)

Dynamic Program Slices Change How Developers Diagnose Gradual Run-Time Type Errors
par: Schwerter, Felipe Bañados, et autres
Publié: (2025)

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

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

Quest Complete: the Holy Grail of Gradual Security
par: Chen, Tianyu, et autres
Publié: (2023)

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

Guard Analysis and Safe Erasure Gradual Typing: a Type System for Elixir
par: Castagna, Giuseppe, et autres
Publié: (2024)

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

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

Caesar: A Deductive Verifier for Probabilistic Programs
par: Schröer, Philipp, et autres
Publié: (2026)

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

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

Multi-Language Probabilistic Programming
par: Stites, Sam, et autres
Publié: (2025)

Joint Distributions in Probabilistic Semantics
par: Kozen, Dexter, et autres
Publié: (2023)

Real-Time Probabilistic Programming
par: Hummelgren, Lars, et autres
Publié: (2023)