Search results for "comonads"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
72	Philip S. Mulry	Lifting Theorems for Kleisli Categories.	MFPS	1993	DBLP DOI BibTeX RDF
52	José Gómez-Torrecillas	Comonads and Galois Corings.	Appl. Categorical Struct.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 16W30, 18C15
48	Tarmo Uustalu, Varmo Vene	The Essence of Dataflow Programming.	APLAS	2005	DBLP DOI BibTeX RDF
48	Tarmo Uustalu, Varmo Vene	The Essence of Dataflow Programming.	CEFP	2005	DBLP DOI BibTeX RDF
36	Dominic A. Orchard, Max Bolingbroke, Alan Mycroft	Ypnos: declarative, parallel structured grid programming.	DAMP	2010	DBLP DOI BibTeX RDF	comonads, edsl, structured grids, ypnos, parallelism, stencils
28	Moritz Lichter, Benedikt Pago, Tim Seppelt	Limitations of Game Comonads for Invertible-Map Equivalence via Homomorphism Indistinguishability.	CSL	2024	DBLP DOI BibTeX RDF
28	Moritz Lichter, Benedikt Pago, Tim Seppelt	Limitations of Game Comonads via Homomorphism Indistinguishability.	CoRR	2023	DBLP DOI BibTeX RDF
28	Samson Abramsky, Tomas Jakl, Thomas Paine	Discrete density comonads and graph parameters.	CoRR	2022	DBLP DOI BibTeX RDF
28	Samson Abramsky, Tomas Jakl, Thomas Paine	Discrete Density Comonads and Graph Parameters.	CMCS	2022	DBLP DOI BibTeX RDF
28	Francesco Dagnino, Giuseppe Rosolini	Doctrines, modalities and comonads.	Math. Struct. Comput. Sci.	2021	DBLP DOI BibTeX RDF
28	Francesco Dagnino, Giuseppe Rosolini	Doctrines, modalities and comonads.	CoRR	2021	DBLP BibTeX RDF
28	Anuj Dawar, Tomas Jakl, Luca Reggio	Lovász-Type Theorems and Game Comonads.	CoRR	2021	DBLP BibTeX RDF
28	Anuj Dawar, Tomas Jakl, Luca Reggio	Lovász-Type Theorems and Game Comonads.	LICS	2021	DBLP DOI BibTeX RDF
28	Valeria de Paiva	Dialectica Comonads (Invited Talk).	CALCO	2021	DBLP DOI BibTeX RDF
28	Adam Ó Conghaile, Anuj Dawar	Game Comonads & Generalised Quantifiers.	CSL	2021	DBLP DOI BibTeX RDF
28	Vikraman Choudhury, Neel Krishnaswami	Recovering purity with comonads and capabilities.	Proc. ACM Program. Lang.	2020	DBLP DOI BibTeX RDF
28	Adam Ó Conghaile, Anuj Dawar	Game Comonads & Generalised Quantifiers.	CoRR	2020	DBLP BibTeX RDF
28	Shin-ya Katsumata, Exequiel Rivas, Tarmo Uustalu	Interaction Laws of Monads and Comonads.	LICS	2020	DBLP DOI BibTeX RDF
28	Shin-ya Katsumata, Exequiel Rivas, Tarmo Uustalu	Interaction laws of monads and comonads.	CoRR	2019	DBLP BibTeX RDF
28	Vikraman Choudhury, Neel Krishnaswami	Recovering Purity with Comonads and Capabilities.	CoRR	2019	DBLP BibTeX RDF
28	Andrew K. Hirsch, Ross Tate	Strict and lazy semantics for effects: layering monads and comonads.	Proc. ACM Program. Lang.	2018	DBLP DOI BibTeX RDF
28	Jirí Adámek, Lurdes Sousa	A Formula for Codensity Monads and Density Comonads.	Appl. Categorical Struct.	2018	DBLP DOI BibTeX RDF
28	Dominic A. Orchard	Complexity bounds for container functors and comonads.	Inf. Comput.	2018	DBLP DOI BibTeX RDF
28	Shin-ya Katsumata	A Double Category Theoretic Analysis of Graded Linear Exponential Comonads.	FoSSaCS	2018	DBLP DOI BibTeX RDF
28	Weng Kin Ho	Characterising E-projectives via Comonads.	Math. Struct. Comput. Sci.	2017	DBLP DOI BibTeX RDF
28	Masahito Hasegawa	Linear Exponential Comonads without Symmetry.	LINEARITY	2016	DBLP DOI BibTeX RDF
28	Bachuki Mesablishvili, Robert Wisbauer	Azumaya Monads and Comonads.	Axioms	2015	DBLP DOI BibTeX RDF
28	Kenneth Foner	Functional pearl: getting a quick fix on comonads.	Haskell	2015	DBLP DOI BibTeX RDF
28	Mike Behrisch, Sebastian Kerkhoff, John Power	Category Theoretic Understandings of Universal Algebra and its Dual: Monads and Lawvere Theories, Comonads and What?	MFPS	2012	DBLP DOI BibTeX RDF
28	Dominic A. Orchard, Alan Mycroft	A Notation for Comonads.	IFL	2012	DBLP DOI BibTeX RDF
28	Kosta Dosen, Zoran Petric	Coherence for monoidal monads and comonads.	Math. Struct. Comput. Sci.	2010	DBLP DOI BibTeX RDF
28	Venanzio Capretta, Tarmo Uustalu, Varmo Vene	Recursive coalgebras from comonads.	Inf. Comput.	2006	DBLP DOI BibTeX RDF
28	Tarmo Uustalu, Varmo Vene	Signals and Comonads.	J. Univers. Comput. Sci.	2005	DBLP DOI BibTeX RDF
28	Ranald Clouston, Robert Goldblatt	Covarieties of Coalgebras: Comonads and Coequations.	ICTAC	2005	DBLP DOI BibTeX RDF
28	Venanzio Capretta, Tarmo Uustalu, Varmo Vene	Recursive Coalgebras from Comonads.	CMCS	2004	DBLP DOI BibTeX RDF
28	Neil Ghani, Christoph Lüth, Federico De Marchi, John Power	Algebras, Coalgebras, Monads and Comonads.	CMCS	2001	DBLP DOI BibTeX RDF
28	Tarmo Uustalu, Varmo Vene, Alberto Pardo	Recursion Schemes from Comonads.	Nord. J. Comput.	2001	DBLP BibTeX RDF
28	Marina Lenisa, John Power, Hiroshi Watanabe 0002	Distributivity for endofunctors, pointed and co-pointed endofunctors, monads and comonads.	CMCS	2000	DBLP DOI BibTeX RDF
28	Andrea Asperti	Linear Logic, Comonads and Optimal Reduction.	Fundam. Informaticae	1995	DBLP DOI BibTeX RDF
24	Masahito Hasegawa	Classical Linear Logic of Implications.	CSL	2002	DBLP DOI BibTeX RDF
24	Jeremy Gibbons	Calculating Functional Programs.	Algebraic and Coalgebraic Methods in the Mathematics of Program Construction	2000	DBLP DOI BibTeX RDF
24	Wolfgang Gehrke	Problems in Rewriting Applied to Categorical Concepts by the Example of a Computational Comonad.	RTA	1995	DBLP DOI BibTeX RDF