scientific article; zbMATH DE number 4179333
From MaRDI portal
Publication:3202991
Recommendations
Cited in
(only showing first 100 items - show all)- Functions with local state: regularity and undecidability
- Unifying graded and parameterised monads
- scientific article; zbMATH DE number 2156365 (Why is no real title available?)
- Monad transformers as monoid transformers
- Effectful semantics in 2-dimensional categories: premonoidal and Freyd bicategories
- Syntax monads for the working formal metatheorist
- The lambda calculus: practice and principle
- Combining and relating control effects and their semantics
- The correctness of a higher-order lazy functional language implementation: An exercise in mechanical theorem proving
- Comparing free algebras in topological and classical domain theory
- Covariant types
- A representable approach to finite nondeterminism
- A timing refinement of intuitionistic proofs and its application to the timing analysis of combinational circuits
- Introducing \(\llparenthesis\lambda\rrparenthesis\), a \(\lambda \)-calculus for effectful computation
- From exponential to polynomial-time security typing via principal types
- Effectful applicative similarity for call-by-name lambda calculi
- Invariants of monadic coalgebras
- scientific article; zbMATH DE number 29052 (Why is no real title available?)
- On the semantics of parsing actions
- When programs have to watch paint dry
- Axioms for control operators in the CPS hierarchy
- On the relations between monadic semantics
- A fibrational tale of operational logical relations: pure, effectful and differential
- No go theorems: directed containers that do not distribute over distribution monads
- Effectful semantics in bicategories: strong, commutative, and concurrent pseudomonads
- A co-induction principle for recursively defined domains
- A category-theoretic account of program modules
- Observationally-induced algebras in domain theory
- Dependent types and fibred computational effects
- Algebraic effects and handlers for arrows
- Quantitative domains and infinitary algebras
- Inferring the equivalence of functional programs that mutate data
- An Operational Account of Call-by-Value Minimal and Classical λ-Calculus in “Natural Deduction” Form
- Translating regular expression matching into transducers
- The formal theory of monads, univalently
- On reduction and normalization in the computational core
- Notions of computation and monads
- A first order logic of effects
- Canonical Gradings of Monads
- The order-K-ification monads
- Freyd categories are enriched Lawvere theories
- All adapted topologies are equal
- The proof monad
- Netter: probabilistic, stateful network models
- Pseudo-distributive laws and axiomatics for variable binding
- Call-by-push-value: Decomposing call-by-value and call-by-name
- Models for the computational \(\lambda\)-calculus
- Semantics of quantum programming languages: Classical control, quantum control
- Anatomy of a domain of continuous random variables. II
- A selective CPS transformation
- Combining algebraic effects with continuations
- Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
- Classical control, quantum circuits and linear logic in enriched category theory
- Classical control and quantum circuits in enriched category theory
- Monads for the formalization of a pattern matching procedure
- Runners in Action
- Discrete Lawvere theories and computational effects
- scientific article; zbMATH DE number 7243675 (Why is no real title available?)
- Modelling environments in call-by-value programming languages.
- scientific article; zbMATH DE number 7779295 (Why is no real title available?)
- Generic models for computational effects
- From global to local state, coalgebraically and compositionally
- Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics
- Reversible effects as inverse arrows
- The connected Vietoris powerlocale
- Premonoidal and Kleisli double categories
- Smart Choices and the Selection Monad
- Strong call-by-value and multi types
- The revised report on the syntactic theories of sequential control and state
- Categories of quantum cpos
- Anatomy of a domain of continuous random variables. I
- Universal algebra in UniMath
- Automatic differentiation for ML-family languages: correctness via logical relations
- A categorical account of composition methods in logic
- A syntax for linear logic
- A domain-theoretic approach to statistical programming languages
- Probabilistic programming with exact conditions
- A concrete categorical semantics of lambda-\(\mathcal{S}\)
- A Fresh Look at the λ-Calculus
- Continuity as a computational effect
- A calculus for language transformations
- Complete call-by-value calculi of control operators. II: Strong termination
- A theory for program and data type specification
- Computer Certified Efficient Exact Reals in Coq
- Sweedler theory of monads
- Categories of timed stochastic relations
- Open call-by-value
- 1ML with special effects. F-ing generativity polymorphism
- Positive focusing is directly useful
- Continuous R-valuations
- The functional machine calculus
- Hefty algebras: modular elaboration of higher-order effects
- The bang calculus and the two Girard's translations
- Declarative pearl: deriving monadic quicksort
- Categories for computation in context and unified logic
- A type-theoretic foundation of delimited continuations
- Strong normalization from weak normalization in typed \(\lambda\)-calculi
- scientific article; zbMATH DE number 7450001 (Why is no real title available?)
- Flexibly graded monads and graded algebras
- Nominal Lawvere theories: a category theoretic account of equational theories with names
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3202991)
