Hakutulokset - Liell-Cock, Jack

Let a Thousand Flowers Bloom: An Algebraic Representation for Edge Graphs Tekijä Liell-Cock, Jack, Schrijvers, Tom

Hae kokoteksti
Hae kokoteksti

Compositional imprecise probability Tekijä Liell-Cock, Jack, Staton, Sam

Hae kokoteksti
Hae kokoteksti

Imprecise Probabilistic Programming, Precisely: Credal Sets via Graded Monads, BDDs, and Semiring-Parametric Inference (Functional Pearl) Tekijä Liell-Cock, Jack, Staton, Sam

Hae kokoteksti
Hae kokoteksti

Cambria: Resource Abstraction for Parametrized Algebraic Effects and Handlers Tekijä Liell-Cock, Jack, Staton, Sam

Hae kokoteksti
Hae kokoteksti

The Relative Monadic Metalanguage Tekijä Liell-Cock, Jack, Shirazi, Zev, Staton, Sam

Hae kokoteksti
Hae kokoteksti

Preserving Privacy of the Influence Structure in Friedkin-Johnsen Systems Tekijä Liell-Cock, Jack, Manchester, Ian R., Shi, Guodong

Hae kokoteksti
Hae kokoteksti

An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories Tekijä Kammar, Ohad, Liell-Cock, Jack, Lindley, Sam, Matache, Cristina, Staton, Sam

Hae kokoteksti
Hae kokoteksti