Commutative monads for probabilistic programming languages
A long-standing open problem in the semantics of programming languages supporting
probabilistic choice is to find a commutative monad for probability on the category DCPO. In …
probabilistic choice is to find a commutative monad for probability on the category DCPO. In …
Semantics for variational quantum programming
We consider a programming language that can manipulate both classical and quantum
information. Our language is type-safe and designed for variational quantum programming …
information. Our language is type-safe and designed for variational quantum programming …
Concrete categories and higher-order recursion: With applications including probability, differentiability, and full abstraction
C Matache, S Moss, S Staton - Proceedings of the 37th Annual ACM …, 2022 - dl.acm.org
We study concrete sheaf models for a call-by-value higher-order language with recursion.
Our family of sheaf models is a generalization of many examples from the literature, such as …
Our family of sheaf models is a generalization of many examples from the literature, such as …
[PDF][PDF] Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory.
Inductive datatypes in programming languages allow users to define useful data structures
such as natural numbers, lists, trees, and others. In this paper we show how inductive …
such as natural numbers, lists, trees, and others. In this paper we show how inductive …
Recursion and sequentiality in categories of sheaves
C Matache, S Moss, S Staton - arXiv preprint arXiv:2105.02156, 2021 - arxiv.org
We present a fully abstract model of a call-by-value language with higher-order functions,
recursion and natural numbers, as an exponential ideal in a topos. Our model is inspired by …
recursion and natural numbers, as an exponential ideal in a topos. Our model is inspired by …
LNL-FPC: The Linear/Non-linear Fixpoint Calculus
B Lindenhovius, M Mislove… - Logical Methods in …, 2021 - lmcs.episciences.org
We describe a type system with mixed linear and non-linear recursive types called LNL-FPC
(the linear/non-linear fixpoint calculus). The type system supports linear typing, which …
(the linear/non-linear fixpoint calculus). The type system supports linear typing, which …
Concrete categories and higher-order recursion
C Matache, S Moss, S Staton - Proceedings of the 37th Annual ACM …, 2022 - ora.ox.ac.uk
We study concrete sheaf models for a call-by-value higher-order language with recursion.
Our family of sheaf models is a generalization of many examples from the literature, such as …
Our family of sheaf models is a generalization of many examples from the literature, such as …
Gradual type theory
Gradually typed languages are designed to support both dynamically typed and statically
typed programming styles while preserving the benefits of each. Sound gradually typed …
typed programming styles while preserving the benefits of each. Sound gradually typed …
Quantum Programming with Inductive Datatypes
Inductive datatypes in programming languages allow users to define useful data structures
such as natural numbers, lists, trees, and others. In this paper we show how inductive …
such as natural numbers, lists, trees, and others. In this paper we show how inductive …
Investigation in the relationship between competition, quality, price, market share, and financial efficiency in the poultry industry
P Tahmasbi - 2024 - repository.essex.ac.uk
Competition, a recognized catalyst for improving company performance, has led
policymakers to endorse competitive business strategies. However, implementing these …
policymakers to endorse competitive business strategies. However, implementing these …