Image de couverture de livre

A Cartesian Closed Category for Random Variables

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Di Gianantonio, Pietro, Edalat, Abbas
Format:	Preprint
Publié:	2024
Sujets:	Programming Languages F.3.2
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

A domain-theoretic framework for conditional probability and Bayesian updating in programming
par: Di Gianantonio, Pietro, et autres
Publié: (2025)

A Language for Evaluating Derivatives of Functionals Using Automatic Differentiation
par: Di Gianantonio, Pietro, et autres
Publié: (2022)

Cartesian Differential Kleisli Categories
par: Lemay, Jean-Simon Pacaud
Publié: (2023)

Replicate, Reuse, Repeat: Capturing Non-Linear Communication via Session Types and Graded Modal Types
par: Marshall, Danielle, et autres
Publié: (2022)

A robust graph-based approach to observational equivalence
par: Ghica, Dan R., et autres
Publié: (2019)

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

Hal: A Language-General Framework for Analysis of User-Specified Monotone Frameworks [DRAFT]
par: Rasheed, Abdullah
Publié: (2024)

Extending the C/C++ Memory Model with Inline Assembly
par: de Vilhena, Paulo Emílio, et autres
Publié: (2024)

Operational methods in semantics
par: Amadio, Roberto M.
Publié: (2025)

Foundational Verification of Smart Contracts through Verified Compilation
par: Sjöberg, Vilhelm, et autres
Publié: (2024)

Towards a unified framework for programming paradigms: A systematic review of classification formalisms and methodological foundations
par: Vandeloise, Mikel
Publié: (2025)

Gradual Guarantee via Step-Indexed Logical Relations in Agda
par: Siek, Jeremy G.
Publié: (2024)

SimpliPy: A Source-Tracking Notional Machine for Simplified Python
par: Jain, Moida Praneeth, et autres
Publié: (2025)

What if we have 90 minutes only to teach programming?
par: Egri-Nagy, Attila
Publié: (2026)

Message-Observing Sessions
par: Kavanagh, Ryan, et autres
Publié: (2024)

Points-to Analysis Using MDE: A Multi-level Deduplication Engine for Repetitive Data and Operations
par: Ghorui, Anamitra, et autres
Publié: (2026)

Weak-Linear Types
par: Gramaglia, Hector
Publié: (2024)

Controlling Copatterns: There and Back Again (Extended Version)
par: Downen, Paul
Publié: (2025)

BinSub: The Simple Essence of Polymorphic Type Inference for Machine Code
par: Smith, Ian
Publié: (2024)

Globality and Regions
par: Gramaglia, Hector
Publié: (2025)

Simple Modal Types for Functional Reactive Programming
par: Bahr, Patrick
Publié: (2025)

Practical Algebraic Stepping with Scoped Filters
par: Fei, Haoxiang, et autres
Publié: (2026)

Scoped and Typed Staging by Evaluation
par: Allais, Guillaume
Publié: (2023)

Polymorphic Bottom-Up Weighted Relational Programming
par: Volkov, Dmitri
Publié: (2026)

Committing to the bit: Relational programming with semiring arrays and SAT solving
par: Volkov, Dmitri, et autres
Publié: (2025)

Local Reasoning about Probabilistic Behaviour for Classical-Quantum Programs
par: Wu, Huiling, et autres
Publié: (2023)

Explicit Weakening
par: Wadler, Philip
Publié: (2024)

TensorRight: Automated Verification of Tensor Graph Rewrites
par: Arora, Jai, et autres
Publié: (2025)

Intrinsic Verification of Parsers and Formal Grammar Theory in Dependent Lambek Calculus (Extended Version)
par: Schaefer, Steven, et autres
Publié: (2025)

Modelling Recursion and Probabilistic Choice in Guarded Type Theory
par: Stassen, Philipp Jan Andries, et autres
Publié: (2024)

Forall-Exists Relational Verification by Filtering to Forall-Forall
par: Nagasamudram, Ramana, et autres
Publié: (2025)

Bayesian Separation Logic
par: Ho, Shing Hin, et autres
Publié: (2025)

Compile-Time Tensor Shape Checking via Staged Shape-Dependent Types
par: Suwa, Takashi, et autres
Publié: (2026)

Cache Persistence Analysis: Finally Exact
par: Stock, Gregory, et autres
Publié: (2019)

Game Semantics for Higher-Order Unitary Quantum Computation
par: Abramsky, Samson, et autres
Publié: (2024)

Intent-Driven Computing: A Computational Model for Governed Autonomous Systems
par: McCann, Alan L.
Publié: (2026)

Closure Conversion, Flat Environments, and the Complexity of Abstract Machines
par: Accattoli, Beniamino, et autres
Publié: (2025)

Dynamic Race Detection With O(1) Samples
par: Thokair, Mosaad Al, et autres
Publié: (2025)

Qurts: Automatic Quantum Uncomputation by Affine Types with Lifetime
par: Hirata, Kengo, et autres
Publié: (2024)

Early Announcement: Parametricity for GADTs
par: Cagne, Pierre, et autres
Publié: (2024)