Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics

Ohad Kammar, Dylan McDermott

Type: Preprint

Publication Date: 2018-01-01

Citations: 0

DOI: https://doi.org/10.48550/arxiv.1804.03460

View Publication

Locations

arXiv (Cornell University) - View
Edinburgh Research Explorer (University of Edinburgh) - View - PDF
Apollo (University of Cambridge) - View - PDF
Oxford University Research Archive (ORA) (University of Oxford) - View - PDF
DataCite API - View

Similar Works

Action	Title	Year	Authors
+	Factorisation Systems for Logical Relations and Monadic Lifting in Type-and-effect System Semantics	2018	Ohad Kammar Dylan McDermott
+	Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics.	2018	Ohad Kammar Dylan McDermott
+	A practical formalization of monadic equational reasoning in dependent-type theory	2025	Reynald Affeldt Jacques Garrigue Takafumi Saikawa
+	A Practical Formalization of Monadic Equational Reasoning in Dependent-type Theory	2023	Reynald Affeldt Jacques Garrigue Takafumi Saikawa
+	The costructure-cosemantics adjunction for comodels for computational effects	2020	Richard Garner
+	Lifting theorems for Kleisli categories	1994	Philip S. Mulry
+ PDF Chat	The costructure–cosemantics adjunction for comodels for computational effects	2021	Richard Garner
+	Logic of computational semi-effects and categorical gluing for equivariant functors	2020	Yuichi Nishiwaki Toshiya Asai
+ PDF Chat	Program adverbs and Tlön embeddings	2022	Yao Li Stephanie Weirich
+	The semantic marriage of monads and effects	2014	Dominic Orchard Tomáš Petříček Alan Mycroft
+	A monadic solution to the Cartwright-Felleisen-Wadler conjecture	2017	Ohad Kammar Dylan McDermott
+ PDF Chat	Generic models for computational effects	2006	John Power
+	A Recipe for State-and-Effect Triangles	2017	Bart Jacobs
+	Monad transformers as monoid transformers	2010	Mauro Jaskelioff Eugenio Moggi
+	Patterns for computational effects arising from a monad or a comonad	2013	Jean‐Guillaume Dumas Dominique Duval Jean-Claude Reynaud
+ PDF Chat	Sequential products in effect categories	2007	Jean‐Guillaume Dumas Dominique Duval Jean-Claude Reynaud
+ PDF Chat	Unifying graded and parameterised monads	2020	Dominic Orchard Philip Wadler Harley Eades
+ PDF Chat	A General Semantic Construction of Dependent Refinement Type Systems, Categorically	2021	Satoshi Kura
+	Category Theory for Programming	2022	Benedikt Ahrens Kobe Wullaert
+	General Semantic Construction of Dependent Refinement Type Systems, Categorically	2020	Satoshi Kura

Works That Cite This (0)

Action	Title	Year	Authors

Works Cited by This (0)

Action	Title	Year	Authors