Sean Moss

Generating author description...

All published works

Action	Title	Year	Authors
+ PDF Chat	Scoped Effects as Parameterized Algebraic Theories	2024	Cristina Matache Sam Lindley Sean Moss Sam Staton Nicolas Wu Zhixuan Yang
+ PDF Chat	Probabilistic Programming Interfaces for Random Graphs: Markov Categories, Graphons, and Nominal Sets	2024	Nathanael Ackerman Cameron E. Freer Younesse Kaddar Jacek Karwowski Sean Moss Daniel Roy Sam Staton Hongseok Yang
+ PDF Chat	A category-theoretic proof of the ergodic decomposition theorem	2023	Sean Moss Paolo Perrone
+	Denotational semantics for languages for inference: semirings, monads, and tensors	2023	Cristina Matache Sean Moss Sam Staton Ariadne Suo
+	Probabilistic programming interfaces for random graphs: Markov categories, graphons, and nominal sets	2023	Nathanael Ackerman Cameron E. Freer Younesse Kaddar Jacek Karwowski Sean Moss Daniel M. Roy Sam Staton Hongseok Yang
+ PDF Chat	Concrete categories and higher-order recursion	2022	Cristina Matache Sean Moss Sam Staton
+ PDF Chat	Probability monads with submonads of deterministic states	2022	Sean Moss Paolo Perrone
+	Probability monads with submonads of deterministic states - Extended version	2022	Sean Moss Paolo Perrone
+	A category-theoretic proof of the ergodic decomposition theorem	2022	Sean Moss Paolo Perrone
+	Recursion and Sequentiality in Categories of Sheaves	2021	Cristina Matache Sean Moss Sam Staton
+ PDF Chat	Size and Shape Constraints of (486958) Arrokoth from Stellar Occultations	2020	M. W. Buie S. B. Porter Peter Tamblyn D. Terrell A. H. Parker D. Baratoux Maram Kaire Rodrigo Leiva A. Verbiscer A. M. Zangari
+	The Dialectica Models of Type Theory	2018	Sean Moss
+ PDF Chat	Dialectica models of type theory	2018	Sean Moss Tamara von Glehn
+ PDF Chat	Denotational validation of higher-order Bayesian inference	2017	Adam Ścibior Ohad Kammar Matthijs Vákár Sam Staton Hongseok Yang Yufei Cai Klaus Ostermann Sean Moss Chris Heunen Zoubin Ghahramani
+ PDF Chat	A monad for full ground reference cells	2017	Ohad Kammar Paul Blain Levy Sean Moss Sam Staton
+	A monad for full ground reference cells	2017	Ohad Kammar Paul Blain Levy Sean Moss Sam Staton

Common Coauthors

Coauthor	Papers Together
Sam Staton	9
Paolo Perrone	4
Cristina Matache	4
Hongseok Yang	3
Ohad Kammar	3
Paul Blain Levy	2
Jacek Karwowski	2
Cameron E. Freer	2
Nathanael Ackerman	2
Younesse Kaddar	2
Joy Skipper	1
S. Gurovich	1
Zhixuan Yang	1
J. Spagnotto	1
Abdoulaye Bâ	1
J. Regester	1
Michael D. Grusin	1
Baidy Demba Diop	1
Romuald Ballet	1
Alejandro Soto	1
Gualbert Séraphin Dorego	1
E. F. Young	1
Amir Caspi	1
Julien Salmon	1
John C. Wilson	1
C. B. Olkin	1
Andrew W. Stephens	1
Nicolás Caycedo Guerra	1
Joshua A. Kammer	1
Eduardo Alejandro Pulver	1
J. B. Dunham	1
Zoubin Ghahramani	1
Joseph I. Samaniego	1
L. H. Wasserman	1
Maram Kaire	1
E. García-Migani	1
Michael F. Skrutskie	1
Anicia Arredondo	1
S. E. Levine	1
Mariana Belen Pereyra	1
Yufei Cai	1
W. Hanna	1
Hugo A. Durantini Luca	1
Stephen Gwyn	1
Alassane Traoré	1
David Dunham	1
John M. Keller	1
S. B. Porter	1
Tamara von Glehn	1
D. Terrell	1

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+ PDF Chat	A convenient category for higher-order probability theory	2017	Chris Heunen Ohad Kammar Sam Staton Hongseok Yang	4
+	Commutative monads as a theory of distributions	2011	Anders Kock	3
+ PDF Chat	Infinite products and zero-one laws in categorical probability	2020	T. A. Fritz Eigil Fjeldgren Rischel	2
+	Strong functors and monoidal monads	1972	Anders Kock	2
+	Modelling environments in call-by-value programming languages	2003	Paul Blain Levy John Power Hayo Thielecke	2
+	A convenient category for higher-order probability theory	2017	Chris Heunen Ohad Kammar Sam Staton Hongseok Yang	2
+ PDF Chat	De Finetti’s Theorem in Categorical Probability	2021	T. A. Fritz Tomáš Gonda Paolo Perrone	2
+ PDF Chat	Probabilistic programming semantics for name generation	2021	Marcin Sabok Sam Staton Dario Stein Michael Wolman	2
+	A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics	2020	T. A. Fritz	2
+	Introduction to extensive and distributive categories	1993	A. Carboni Stephen Lack R. F. C. Walters	2
+ PDF Chat	Measurable cones and stable, measurable functions: a model for probabilistic higher-order programming	2017	Thomas Ehrhard Michele Pagani Christine Tasson	2
+ PDF Chat	Borel structures for function spaces	1961	Robert J. Aumann	2
+	Partial map classifiers and partial cartesian closed categories	1994	Philip S. Mulry	2
+ PDF Chat	The Local Universes Model: An Overlooked Coherence Construction for Dependent Type Theories	2015	Peter LeFanu Lumsdaine Michael A. Warren	1
+	Venture: a higher-order probabilistic programming platform with programmable inference	2014	Vikash K. Mansinghka Daniel Selsam Yura Perov	1
+ PDF Chat	Higher-Order Containers	2010	Thorsten Altenkirch Paul Blain Levy Sam Staton	1
+	Automated Variational Inference in Probabilistic Programming	2013	David Wingate Théophane Weber	1
+ PDF Chat	Dynamical Systems in Categories	2015	Mike Behrisch Sebastian Kerkhoff Reinhard Pöschel Friedrich Martin Schneider Stefan Siegmund	1
+ PDF Chat	ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES	1958	Von Kurt Gödel	1
+	Gödel’s Functional (“Dialectica”) Interpretation	1998	Jeremy Avigad Solomon Feferman	1
+ PDF Chat	Bayesian Models of Graphs, Arrays and Other Exchangeable Random Structures	2014	Peter Orbanz Daniel M. Roy	1
+ PDF Chat	Restriction categories I: categories of partial maps	2002	J.R.B. Cockett Stephen Lack	1
+	Exponentiable morphisms, partial products and pullback complements	1987	Roy Dyckhoff Walter Tholen	1
+	Comprehension categories and the semantics of type dependency	1993	Bart Jacobs	1
+ PDF Chat	Universal graphs and universal functions	1964	R. Rado	1
+	Die Widerspruchsfreiheit der allgemeinen Mengenlehre	1937	Wilhelm Ackermann	1
+	Affine parts of monads	1979	Harald Lindner	1
+	Comparing models of higher type computation	1999	Giuseppe Rosolini Th. Streicher	1
+	Enrichment through variation	1997	Robert Gordon John Power	1
+	Bifibrations and Weak Factorisation Systems	2009	Alexandru E. Stanculescu	1
+	Sobriety for equilogical spaces	2014	Anna Bucalo Giuseppe Rosolini	1
+	Locally Presentable and Accessible Categories	1994	J. Adámek J. Rosicky	1
+ PDF Chat	Model theory: an introduction	2003	David Marker	1
+	Fraïssé’s Construction from a Topos-Theoretic Perspective	2014	Olivia Caramello	1
+ PDF Chat	Fraïssé Limits, Ramsey Theory, and topological dynamics of automorphism groups	2005	Alexander S. Kechris Vladimir Pestov Stevo Todorčević	1
+	Monads on symmetric monoidal closed categories	1970	Anders Kock	1
+ PDF Chat	Linear usage of state	2014	Rasmus Ejlers Møgelberg Sam Staton	1
+ PDF Chat	Symmetric measures on Cartesian products	1955	Edwin Hewitt Leonard J. Savage	1
+	Some properties of Fib as a fibred 2-category	1999	Claudio Hermida	1
+	Restriction categories II: partial map classification	2003	J.R.B. Cockett Stephen Lack	1
+	FORMATION OF KUIPER BELT BINARIES BY GRAVITATIONAL COLLAPSE	2010	David Nesvorný Andrew N. Youdin D. C. Richardson	1
+ PDF Chat	Abstract effects and proof-relevant logical relations	2014	Nick Benton Martin Hofmann Vivek Nigam	1
+ PDF Chat	A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on	1980	G. M. Kelly	1
+ PDF Chat	Limits of dense graph sequences	2006	László Lovász Balázs Szegedy	1
+	A Universal Embedding for the Higher Order Structure of Computational Effects	2003	John Power	1
+	MONADS AS EXTENSION SYSTEMS \|NO ITERATION IS NECESSARY	2010	F. Marmolejo R. J. Wood	1
+	A note on actions of a monoidal category.	2001	George Janelidze G. M. Kelly	1
+	Limits in free coproduct completions	1995	Hongde Hu Walter Tholen	1
+	A New Approach to Probabilistic Programming Inference	2014	Frank Wood Jan-Willem van de Meent Vikash K. Mansinghka	1
+	On a Topological Topos	1979	Peter Johnstone	1