Arama Sonuçları - Liell-Cock, Jack

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

Tam Metin Erişim
Tam Metin Erişim

Compositional imprecise probability Yazar: Liell-Cock, Jack, Staton, Sam

Tam Metin Erişim
Tam Metin Erişim

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

Tam Metin Erişim
Tam Metin Erişim

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

Tam Metin Erişim
Tam Metin Erişim

The Relative Monadic Metalanguage Yazar: Liell-Cock, Jack, Shirazi, Zev, Staton, Sam

Tam Metin Erişim
Tam Metin Erişim

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

Tam Metin Erişim
Tam Metin Erişim

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

Tam Metin Erişim
Tam Metin Erişim