Explore >> Select a destination
|
You are here 
|
julesh.com | ||
| | | | |
francisbach.com
|
|
| | | | | ||
| | | | |
drops.dagstuhl.de
|
|
| | | | | [AI summary] The provided text is a collection of LaTeX-formatted conference paper entries from the 10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023). Each entry includes the authors, title, abstract, and metadata such as the proceedings series, volume, and URL. The papers cover various topics in coalgebra, including: 1) Coalgebraic semantics for conflict-free replicated data types (CRDTs) 2) Polynomial functors on Hausdorff and metric spaces 3) Completeness of categories of generalized automata 4) Coalgebraic approaches to reasoning about distributed systems 5) Theoretical aspects of endofunctors in topology and metric spaces The entries are structured with consistent formatting for authors, titles, and metadata, and include both the... | |
| | | | |
bartoszmilewski.com
|
|
| | | | | This is part 13 of Categories for Programmers. Previously: Limits and Colimits. See the Table of Contents. Monoids are an important concept in both category theory and in programming. Categories correspond to strongly typed languages, monoids to untyped languages. That's because in a monoid you can compose any two arrows, just as in an untyped... | |
| | | | |
www.softdevtube.com
|
|
| | | Computers are orders of magnitude faster than when most of us started programming and yet a lot of software runs much slower than it should. Nobody likes progress bars. Slow code provides for a horrible user experience, drains batteries faster, and increases our cloud bill. This session explores some of the reasons why software is | ||
